1 1 1 1 1

You might also like

You are on page 1of 3

1

-1

P ∨q=¬ p → q

p q ¬p P ∨q ¬p→q
T T F T T
T F F T T
F T T T T
F F T F F
—2

P∧q=¬(p→¬q)

P q ¬q P∧q p→¬q ¬(p→¬q)


T T F T F T
T F T F T F
F T F F T F
F F T F T F

-3

¬ ( p → q ) = p ∧¬q

P q ¬q P→q ¬(p→q) p ∧¬q


T T F T F F
T F T F T T
F T F T F F
F F T T F F

-4

(p→q)∧(p→r) =p→(q∧r)

P q r (p→q) (p→r) (p→q)∧(p→r) (q∧r) p→(q∧r)


T T T T T T T T
T T F T F F F F
T F T F T F F F
T F F F F F F F
F T T T T T T T
F T F T T T F T
F F T T T T F T
F F F T T T F T
-5

)P→ r)∧ (q→r)=(p∨q)→r

P q r P→ r q→r (P→ r)∧ (q→r) (p∨q) (p∨q)→r


T T T T T T T T
T T F F F F T F
T F T T T T T T
T F F F T F T F
F T T T T T T T
F T F T F F T F
F F T T T T F T
F F F T T T F T

-6

)P → q ) ∨ ( p → r ) = p → ( q ∨ r )

P q r P→q p→r (P→q)∨(p→r) (q ∨ r) p→(q ∨ r)


T T T T T T T T
T T F T F T T T
T F T F T T T T
T F F F F F F F
F T T T T T T T
F T F T T T T T
F F T T T T T T
F F F T T T F T

-7

(P → r ) ∨(q→ r ) = ( p ∧q )→ r

p q r P →r q→r (P →r)∨(q→r) (p∧q ) (p∧q )→r


T T T T T T T T
T T F F F F T F
T F T T T T F T
T F F F T T F T
F T T T T T F T
F T F T F T F T
F F T T T T F T
F F F T T T F T

You might also like