selidiki apakah pernyataan majemuk berikut merupakan tautologi atau bukan
a.(~p^q) -> p
b.(p^ ~q) -> q

a) (~p^q)->p
p= B | B | S | S
q= B | S | B | S
~p= S | S | B | B
(~p^q)= S | S | B | S
(~p^q)->p= B | B | S | S

b)(p^~q)->q
p= B | B | S | S
q= B | S | B | S
~q=S| B | S | B
(p^~q)=S | B | S | S
(p^~q)->q= B | S | B | B

Jadi, keduanya bukan tautologi karena nilai kebenarannya tidak bernilai benar semua