:) BardzoWazne: Jak nazywają się metody dowodzenia tautologii? 1) z tableką − tabelkowa, zerojedynkowa 2) poprzez wykazanie, że nie zachodzi jedyna opcja zwracająca 0, np. 1⇒0 − tej nazwy nie pamiętam 3) jeszcze jakaś była, ale nie pamiętam jaka − będę wdzięczny za podpowiedź

BardzoWazne: ta 2 to chyba była metoda dowodu nie wprost? ale co z 3

Janek191: Może reguła odrywania ?

BardzoWazne: tak to jest to, połączone z kilkoma innymi regułami, dziękuje