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

( ~ ( p / q ) ∧ ( r ∨ ~ p ) ) → ~ ( ( q → ~ r ) ⊥ ( p ∧ ~ r ) )

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

a) jeżeli formuła jest tautologią, proszę w okienku wpisać "T"

b) jeżeli formuła nie jest tautologią, proszę w okienku wpisać "NT" i po przecinku kolejne wartości zmiennych (p, q, r itp.), bez spacji.

Przykład: Formuła "p → (q → ~p)" jest nietautologią, gdyż jest fałszywa dla p=1 i q=1. W pole odpowiedzi wpisujemy zatem:

"NT,1,1"