Czerwony element bezendu: Sprawdź które z następujących wyrażeń są prawami logicznymi ~(p⇒q)⇔(p⋀~q) I nie rozumiem jednego elementu w tej tabelce. Może ktoś mi to wyjaśnić ? p q p⇒q ~(p⇒q) ~q p⋀~q ~(p⇒q)⇔(p⋀~q)

J: ...bo pojawia sie we wzorze: ∼q ... i określasz jego wartość logiczną..

ICSP: ~(p⇒q)⇔(p⋀~q)

bezendu: Dziękuję.

bezendu: Chyba jednak nadal nie rozumiem...

Kacper: Czego?

bezendu: Z czego to wynika ~(p⇒q)⇔(p⋀~q) Umieściłem w tabelce przecież ~(p⇒q) oraz ~(p⇒q) więc skąd to ~q ?

Kacper: W tabelce ma być po kolei p,q,~q,p⇒q,~(p⇒q),p∧~q, ~(p⇒q)⇔(p⋀~q) Jak w ostatniej rubryce dostaniesz same 1, to znaczy, że to tautologia.