Tautologia ZT: Sprawdź czy podane zdanie jest Tautologią: Jeżeli powiedziało się A, to trzeba powiedzieć B; lecz nieprawda, że jeśli nie powiedziało sie C, to trzeba powiedzieć A lub B. Zatem trzeba albo powiedzieć A, albo nie powiedzieć B.

ite: Musisz sprawdzić poprawność takiego wnioskowania: A ⇒ B ¬(¬C ⇒(A∨B)) −−−−−−−−−−− A⊥B Można zapisać to w postaci implikacji i zastosować metodę skróconą zero−jedynkową.

ite: * poprawiam wniosek A⊥¬B