Господин Экзамен

Выражение (A⇒B)∨(B⇔C)

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

    Решение

    Вы ввели [src]
    (b⇔c)∨(a⇒b)
    $$\left(b ⇔ c\right) \vee \left(a \Rightarrow b\right)$$
    Подробное решение
    $$b ⇔ c = \left(b \wedge c\right) \vee \left(\neg b \wedge \neg c\right)$$
    $$a \Rightarrow b = b \vee \neg a$$
    $$\left(b ⇔ c\right) \vee \left(a \Rightarrow b\right) = b \vee \neg a \vee \neg c$$
    Упрощение [src]
    $$b \vee \neg a \vee \neg c$$
    b∨(¬a)∨(¬c)
    Таблица истинности
    +---+---+---+--------+
    | a | b | c | result |
    +===+===+===+========+
    | 0 | 0 | 0 | 1      |
    +---+---+---+--------+
    | 0 | 0 | 1 | 1      |
    +---+---+---+--------+
    | 0 | 1 | 0 | 1      |
    +---+---+---+--------+
    | 0 | 1 | 1 | 1      |
    +---+---+---+--------+
    | 1 | 0 | 0 | 1      |
    +---+---+---+--------+
    | 1 | 0 | 1 | 0      |
    +---+---+---+--------+
    | 1 | 1 | 0 | 1      |
    +---+---+---+--------+
    | 1 | 1 | 1 | 1      |
    +---+---+---+--------+
    КНФ [src]
    Уже приведено к КНФ
    $$b \vee \neg a \vee \neg c$$
    b∨(¬a)∨(¬c)
    СКНФ [src]
    $$b \vee \neg a \vee \neg c$$
    b∨(¬a)∨(¬c)
    СДНФ [src]
    $$b \vee \neg a \vee \neg c$$
    b∨(¬a)∨(¬c)
    ДНФ [src]
    Уже приведено к ДНФ
    $$b \vee \neg a \vee \neg c$$
    b∨(¬a)∨(¬c)