30

simplifique
{[(~q) →(~p)]→[(~p)→(~q)]} ∧~(p∧q)

{[q∧~p] → [p∧~q]} ∧~ (p∧q)]

(~q∨p) ∧(p∧~q)∧(p~∧∨q)

p∧~q ∧ (~p∧∨)

= p∧~q

31

P*Q =[(p→(~p∧q)] ∧[(~p∧q) →p)] ∧p

=[(p∨~(~p∧q)] ∧[(~p∧q) ∨ ~p)]∨p

= [(p∨ (p∨q)]∧~p]∧p

=[(p∨~q) ∧~p] ∧p

=[ ~p∧~q] ∧p

=~p∧p∧~q

=f∧~q

=f

32

(~p ∧ ~q) ∧ p ∧ ~q

(~p ∧ ~q) ∧ p ∧ ~q
f f f f v f f
f v v v v v v
v v f f f f f
v v v v f f v

(p ∧ ~q) ∨ (~p ∧ q)

(p ∧ ~q) ∨ (~p ∧ q)
v f f f f f v
v v v v f f f
f f f v v v v
f f v f v f f