Buktikan ekuivalensi kalimat-kalimat berikut dengan tabel kebenaran

~ (p  ~q )  (~p  ~q ) ≡ ~p
~ ((~ p  q )  (~p  ~q ))  (p  q) ≡ p
(p  (~ (~p  q)))  (p  q) ≡ p
P  (Q  R) ≡ P (~Q  R) ≡ (PQ)  R

1. p q ~p ~q p v ~q ~ (p Ú ~q ) ~p ^ ~q
T T F F T F F
T F F T T F F
F T T F F T F
F F T T T F T

p q ~p ~q ~p ^ q ~p ^ ~q p^q

p q ~p ~q ~p v q ~(~p v q) p^q

P Q R p^q ~Q Q®R P ® (Q ® R)

P ~Q R (~Q Ú R) P® (~Q Ú R)
el kebenaran dan dengan rumus ekuivalensi:

~ (p Ú ~q ) Ú (~p Ù ~q ) ≡ ~p
F F
F F
T T
T T

(~ p Ù q ) Ú (~p Ù ~q ) ~((~ p Ù q ) Ú (~p Ù ~q )) ~((~ p Ù q ) Ú (~p Ù ~q )) v (p ^ q) ≡

p ^ ~(~p v q) (p ^ (~(~p v q))) Ú (p Ù q ) ≡

≡ (P ^ Q)®R ≡
≡ p