Господин Экзамен
Математическая логика/ 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$$ 
    1
    Таблица истинности 
    +---+---+--------+
| x | y | result |
+===+===+========+
| 0 | 0 | 1      |
+---+---+--------+
| 0 | 1 | 1      |
+---+---+--------+
| 1 | 0 | 1      |
+---+---+--------+
| 1 | 1 | 1      |
+---+---+--------+
    СКНФ [src]
    1 
    1
    СДНФ [src]
    1 
    1
    КНФ [src]
    Уже приведено к КНФ
    1 
    1
    ДНФ [src]
    Уже приведено к ДНФ
    1 
    1
    © Господин Экзамен – Калькулятор