Sprawdź metodą dowolną i odpowiedz na pytania:
1) które z podanych wyrażeń to tautologie logiczne?
2) czy wśród poniższych funkcji zdaniowych znajdują się kontrtautologie logiczne?
3) które z poniższych funkcji zdaniowych są funkcjami spełnialnymi?
a) [(p®r) Ù (q®r) Ù(pÚq)] ® r
b) [(p®q) Ù ~q] ® ~p
c) (p®q)® (q®p)
d) [(pÚq) Ù ~q] ® p
e) (~pÚq) ® ~(pÙ~q)
f) (~pÚq) ® (~pÙq)
g) [(pÚq) Ù ~(pÙq)] ® ~q
h) [p ® (q®r)]«[(p®q) ®r]
i) (p«q) ® [(pÙq) Ú ~(pÚq)]
j) p«~p
1
Belchatow2