yautologia Sylwia: : Sprawdź czy wyrażenie jest tautologią metodą nie wprost: mam problem z tym wyrażeniem: [~(p⇒q)]⇔(pv~g)] w~(p⇒q)]⇔(p v~g)=0 ⎧ w[~(p⇒q)]=1 ⎩ w(p v~g)=0 ⎧ w(p⇒q)=0 ⎜ w(p)0 ⎨ w(~q)=0 brak sprzeczności ⎩ w(q)=1 ⎧ w(p⇒q)=0 a ⎩ w(p)=1 w(q)=0) sprzeczność może mi ktoś to wyjaśnić