Упростить x->(y->x) (х минус больше (у минус больше х)) - логическое выражение и таблица истинности для него, КНФ, ДНФ, СКНФ и СДНФ [Есть ответ!]

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

Преподаватель очень удивится увидев твоё верное решение😼

Решение

Вы ввели [src]
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$$
Упрощение [src]
$$1$$
Таблица истинности
+---+---+--------+
| x | y | result |
+===+===+========+
| 0 | 0 | 1      |
+---+---+--------+
| 0 | 1 | 1      |
+---+---+--------+
| 1 | 0 | 1      |
+---+---+--------+
| 1 | 1 | 1      |
+---+---+--------+
КНФ [src]
Уже приведено к КНФ
1
СКНФ [src]
1
СДНФ [src]
1
ДНФ [src]
Уже приведено к ДНФ
1

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