Выражение (a∧b∧c)∨(a∧b∧(c∨(b∧c)))

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

Решение

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

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