logika
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)=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ć