Sprawdź metodą zerojedynkową skróconą, czy następująca formuła jest tautologią:

( ( ( p / q ) ∧ ~ r ) → ( q ↓ s ) ) ≡ ( ( ( p / q ) ∧ ( q v s ) ) → r )

Aby sprawdzić poprawność odpowiedzi, proszę wpisać odpowiedź wg następującego wzoru:

a) jeżeli cała równoważność jest tautologią, proszę w okienku wpisać "T"

b) jeżeli implikacja L→P (i w efekcie cała równoważność) nie jest tautologią, proszę w okienku wpisać "NT" i po przecinku kolejne wartości zmiennych (p, q, r itp.), bez spacji.

c) jeżeli implikacja L→P jest tautologią, ale implikacja P→L (i w efekcie cała równoważność) nie jest tautologią, proszę w okienku wpisać "T,NT" i po przecinku kolejne wartości zmiennych (p, q, r itp.), bez spacji.

Przykład: Równoważność "p ≡ (p → p)" jest nietautologią, ponieważ:

- implikacja L→P jest tautologią

- implikacja P→L nie jest tautologią, gdyż jest fałszywa dla p=0. W pole odpowiedzi wpisujemy zatem:

"T,NT,0"