Выражение (x∧y)∨(¬x∧¬z)

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

Вы ввели

(x∧y)∨((¬x)∧(¬z))

$$\left(x \wedge y\right) \vee \left(\neg x \wedge \neg z\right)$$

Упрощение

$$\left(x \wedge y\right) \vee \left(\neg x \wedge \neg z\right)$$

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

+---+---+---+--------+
| x | y | z | result |
+===+===+===+========+
| 0 | 0 | 0 | 1      |
+---+---+---+--------+
| 0 | 0 | 1 | 0      |
+---+---+---+--------+
| 0 | 1 | 0 | 1      |
+---+---+---+--------+
| 0 | 1 | 1 | 0      |
+---+---+---+--------+
| 1 | 0 | 0 | 0      |
+---+---+---+--------+
| 1 | 0 | 1 | 0      |
+---+---+---+--------+
| 1 | 1 | 0 | 1      |
+---+---+---+--------+
| 1 | 1 | 1 | 1      |
+---+---+---+--------+

СДНФ

$$\left(x \wedge y\right) \vee \left(\neg x \wedge \neg z\right)$$

КНФ

$$\left(x \vee \neg x\right) \wedge \left(x \vee \neg z\right) \wedge \left(y \vee \neg x\right) \wedge \left(y \vee \neg z\right)$$

ДНФ

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

$$\left(x \wedge y\right) \vee \left(\neg x \wedge \neg z\right)$$

СКНФ

$$\left(x \vee \neg z\right) \wedge \left(y \vee \neg x\right)$$