Выражение ~ABC

Преподаватель очень удивится увидев твоё верное решение 😼

Решение

Вы ввели [src]
b∧c∧(¬a)
bc¬ab \wedge c \wedge \neg a
Упрощение [src]
bc¬ab \wedge c \wedge \neg a
Таблица истинности
+---+---+---+--------+
| a | b | c | result |
+===+===+===+========+
| 0 | 0 | 0 | 0      |
+---+---+---+--------+
| 0 | 0 | 1 | 0      |
+---+---+---+--------+
| 0 | 1 | 0 | 0      |
+---+---+---+--------+
| 0 | 1 | 1 | 1      |
+---+---+---+--------+
| 1 | 0 | 0 | 0      |
+---+---+---+--------+
| 1 | 0 | 1 | 0      |
+---+---+---+--------+
| 1 | 1 | 0 | 0      |
+---+---+---+--------+
| 1 | 1 | 1 | 0      |
+---+---+---+--------+
ДНФ [src]
Уже приведено к ДНФ
bc¬ab \wedge c \wedge \neg a
КНФ [src]
Уже приведено к КНФ
bc¬ab \wedge c \wedge \neg a
СКНФ [src]
bc¬ab \wedge c \wedge \neg a
СДНФ [src]
bc¬ab \wedge c \wedge \neg a

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