Выражение A⇒B

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

Вы ввели

a⇒b

$$a \Rightarrow b$$

Упрощение

$$b \vee \neg a$$

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

+---+---+--------+
| a | b | result |
+===+===+========+
| 0 | 0 | 1      |
+---+---+--------+
| 0 | 1 | 1      |
+---+---+--------+
| 1 | 0 | 0      |
+---+---+--------+
| 1 | 1 | 1      |
+---+---+--------+

КНФ

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

$$b \vee \neg a$$

ДНФ

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

$$b \vee \neg a$$

СКНФ

$$b \vee \neg a$$

СДНФ

$$b \vee \neg a$$