.. Mati: Czy podana formuła jest prawem rachunku zdań ? ((p⋀~q)∨p) ⇔ ~(p⇒q) p q ~q p⋀~q (p⋀~q)∨p p⇒q ~(p⇒q) ((p⋀~q)∨p) ⇔ ~(p⇒q) 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 1 1 0 0 1 1 0 0 Czyli nie jest ?

wredulus_pospolitus: jeżeli nie pokićkałeś w tabelce to nie

wredulus_pospolitus: ale pokićkałeś 0<=>0 daje 1

Mati: ahh no tak, ale i tak w ostatniej linijce mam 1 ⇔ 0

Mati: czyli to nadal nie jest tautologia ?