All 2-argument boolean functions
Function
(t,t)
(t,f)
(f,t)
(f,f)
all true
t
t
t
t
∨
t
t
t
f
⇐
t
t
f
t
π
1
t
t
f
f
⇒
t
f
t
t
π
2
t
f
t
f
≡
t
f
f
t
∧
t
f
f
f
¬∧
f
t
t
t
≠
f
t
t
f
¬π
2
f
t
f
t
¬⇒
f
t
f
f
¬π
1
f
f
t
t
¬⇐
f
f
t
f
¬∨
f
f
f
t
all false
f
f
f
f