Упростить ~ABC - логическое выражение и таблица истинности для него, КНФ, ДНФ, СКНФ и СДНФ [Есть ответ!]
Математическая логика/ ~ABC

Выражение ~ABC

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

Примеры

Решение

Вы ввели [src]
b∧c∧(¬a)
$$b \wedge c \wedge \neg a$$
Упрощение [src]
$$b \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]
Уже приведено к ДНФ
$$b \wedge c \wedge \neg a$$
КНФ [src]
Уже приведено к КНФ
$$b \wedge c \wedge \neg a$$
СКНФ [src]
$$b \wedge c \wedge \neg a$$
СДНФ [src]
$$b \wedge c \wedge \neg a$$

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