23.1.15 Logical instructions