φ
ψ
φ
∧
ψ
φ
∧
¬
ψ
¬
φ
∧
ψ
¬
φ
∧
¬
ψ
¬
(φ
∧
ψ)
T
T
T
F
F
F
F
F
F
F
F
T
T
F
F
T
T
F
F
F
F
T
T
F
F
T
F
F
F
T
T
T
F
F
T
F
F
F
F
F
T
T
F
T
T
T
T
F