Выражение P→Q

В калькуляторе вы сможете упростить выражения, содержащие следующие операции: NOT, XOR, AND, OR, NAND, NOR, NOT, XNOR

Вы ввели

p⇒q

$$p \Rightarrow q$$

Упрощение

$$q \vee \neg p$$

Таблица истинности

+---+---+--------+
| p | q | result |
+===+===+========+
| 0 | 0 | 1      |
+---+---+--------+
| 0 | 1 | 1      |
+---+---+--------+
| 1 | 0 | 0      |
+---+---+--------+
| 1 | 1 | 1      |
+---+---+--------+

КНФ

Уже приведено к КНФ

$$q \vee \neg p$$

СКНФ

$$q \vee \neg p$$

СДНФ

$$q \vee \neg p$$

ДНФ

Уже приведено к ДНФ

$$q \vee \neg p$$