You are on page 1of 2

[(� → �)⋀(� ∨ �)⋀(¬�)] → (�) P Q ¬Q

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

You might also like