Господин Экзамен
Математическая логика/ x->(y->z)

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

С верным решением ты станешь самым любимым в группе❤️😊

⌨

    Решение

    Вы ввели [src] 
    x⇒(y⇒z)
    $$x \Rightarrow \left(y \Rightarrow z\right)$$
    Подробное решение
    $$y \Rightarrow z = z \vee \neg y$$
    $$x \Rightarrow \left(y \Rightarrow z\right) = z \vee \neg x \vee \neg y$$
    Упрощение [src]
    $$z \vee \neg x \vee \neg y$$ 
    z∨(¬x)∨(¬y)
    Таблица истинности 
    +---+---+---+--------+
| x | y | z | result |
+===+===+===+========+
| 0 | 0 | 0 | 1      |
+---+---+---+--------+
| 0 | 0 | 1 | 1      |
+---+---+---+--------+
| 0 | 1 | 0 | 1      |
+---+---+---+--------+
| 0 | 1 | 1 | 1      |
+---+---+---+--------+
| 1 | 0 | 0 | 1      |
+---+---+---+--------+
| 1 | 0 | 1 | 1      |
+---+---+---+--------+
| 1 | 1 | 0 | 0      |
+---+---+---+--------+
| 1 | 1 | 1 | 1      |
+---+---+---+--------+
    СДНФ [src]
    $$z \vee \neg x \vee \neg y$$ 
    z∨(¬x)∨(¬y)
    СКНФ [src]
    $$z \vee \neg x \vee \neg y$$ 
    z∨(¬x)∨(¬y)
    КНФ [src]
    Уже приведено к КНФ
    $$z \vee \neg x \vee \neg y$$ 
    z∨(¬x)∨(¬y)
    ДНФ [src]
    Уже приведено к ДНФ
    $$z \vee \neg x \vee \neg y$$ 
    z∨(¬x)∨(¬y)
    © Господин Экзамен – Калькулятор