A logikai műveleteknél számít a sorrend (ha nem, az tervezési hiba):
true AND valami => valami
false AND valami => false ('valami'-t nem számoljuk ki / végezzük el)
true OR valami => true ('valami'-t nem számoljuk ki / végezzük el)
false OR valami => valami
ha van/lenne IMP (implies), akkor:
true IMP valami => valami
false IMP valami => true ('valami'-t nem számoljuk ki / végezzük el)