Выражение (a&b⇔¬b)∨(a∨b⇔a)

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

Вы ввели

(a⇔(a∨b))∨((¬b)⇔(a∧b))

$$\left(a ⇔ \left(a \vee b\right)\right) \vee \left(\left(a \wedge b\right) ⇔ \neg b\right)$$

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

$$a ⇔ \left(a \vee b\right) = a \vee \neg b$$
$$\left(a \wedge b\right) ⇔ \neg b = b \wedge \neg a$$
$$\left(a ⇔ \left(a \vee b\right)\right) \vee \left(\left(a \wedge b\right) ⇔ \neg b\right) = 1$$

Упрощение

$$1$$

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

+---+---+--------+
| a | b | result |
+===+===+========+
| 0 | 0 | 1      |
+---+---+--------+
| 0 | 1 | 1      |
+---+---+--------+
| 1 | 0 | 1      |
+---+---+--------+
| 1 | 1 | 1      |
+---+---+--------+

СКНФ

1

КНФ

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

1

ДНФ

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

1

СДНФ

1