Tautologia metodą nie zero jedynkową ADRIAN22: czesc, mam pewnie przykłąd ktory nie jest tautologia a sporawdzajac za pomoca metody NIE− Zero− Jedynkowej otrzymuje sprzecznosc. Prosze o komentarz, wyjasnienie. Moze cos zle rozumiem w tej metodzie. More rozwiazanie: [(q ⇒ p) ⇔ (p∧q)]=W Przyjmijmy ze W nie jest tautologia. W=0 (q ⇒ p) = 0 i (p∧q)=1 q=1 p=1 p=0 q=1 No i otrzymuje 2 rożne p z czego wynika sprzecznosc. O co tu biega?