Question

Proszę o odpowiedź
Sprawdzić metodą zerojednkową, czy wyrażenie (p⇒q)⇔~p∨q jest tautologią.

Answer 1

Odpowiedź:

Szczegółowe wyjaśnienie:

p  |  q  |  p ⇒ q  | ¬p  |  ¬p ∨ q  |  (p ⇒ q) ⇔  ¬p ∨ q

1       1        1          0         1                        1

0     0        1            1         1                        1

1       0       0          0       0                        1

0       1        1            1        1                      1

Jest tautologią.