Professional Documents
Culture Documents
V V F
V F V
F V F
F F V
(P>Q) (PVQ) (P>Q)⋀(PVQ) (P>Q)⋀(PVQ)⋀(¬Q) [(P>Q)⋀(PVQ)⋀(¬Q)] > (Q)
V V V F V
F V F F V
V V V F V
V F F F V