p q | p=q p≠q p∧q p∨q p⇒q p⇐q -----|------------------------------------------------ T T | T F T T T T T F | F T F T F T F T | F T F T T F F F | T F F F T T |
The sixteen boolean functions with signature Bool × Bool ⟶ Bool are as follows:
f t n a r a p !p n l u n and and o s p q | e or <== p ==> q = and d != !q !q !p q r e -----|----------------------------------------------------------------------- T T | T T T T T T T T F F F F F F F F T F | T T T T F F F F T T T T F F F F F T | T T F F T T F F T T F F T T F F F F | T F T F T F T F T F T F T F T F |