Выражение x->(y->x)

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

Вы ввели

x⇒(y⇒x)

$$x \Rightarrow \left(y \Rightarrow x\right)$$

Подробное решение

$$y \Rightarrow x = x \vee \neg y$$
$$x \Rightarrow \left(y \Rightarrow x\right) = 1$$

Упрощение

$$1$$

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

+---+---+--------+
| x | y | result |
+===+===+========+
| 0 | 0 | 1      |
+---+---+--------+
| 0 | 1 | 1      |
+---+---+--------+
| 1 | 0 | 1      |
+---+---+--------+
| 1 | 1 | 1      |
+---+---+--------+

КНФ

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

1

СКНФ

1

СДНФ

1

ДНФ

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

1