2.4 Boolean logic