Expresión ¬c∧Bv¬DvA∧¬(C)∧D∨A∧B∧D
El profesor se sorprenderá mucho al ver tu solución correcta😉
Solución
Solución detallada
(b∧¬c)∨(a∧b∧d)∨(a∧d∧¬c)∨¬d=(a∧b)∨(a∧¬c)∨(b∧¬c)∨¬d
(a∧b)∨(a∧¬c)∨(b∧¬c)∨¬d
(¬d)∨(a∧b)∨(a∧(¬c))∨(b∧(¬c))
Tabla de verdad
+---+---+---+---+--------+
| a | b | c | d | result |
+===+===+===+===+========+
| 0 | 0 | 0 | 0 | 1 |
+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 |
+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1 |
+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 0 |
+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 1 |
+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 1 |
+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 1 |
+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0 |
+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 1 |
+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 1 |
+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 |
+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 0 |
+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1 |
+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1 |
+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 1 |
+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 1 |
+---+---+---+---+--------+
Ya está reducido a FND
(a∧b)∨(a∧¬c)∨(b∧¬c)∨¬d
(¬d)∨(a∧b)∨(a∧(¬c))∨(b∧(¬c))
(a∨b∨¬d)∧(a∨¬c∨¬d)∧(b∨¬c∨¬d)
(a∨b∨(¬d))∧(a∨(¬c)∨(¬d))∧(b∨(¬c)∨(¬d))
(a∨b∨¬d)∧(a∨¬c∨¬d)∧(b∨¬c∨¬d)∧(a∨b∨¬c∨¬d)
(a∨b∨(¬d))∧(a∨(¬c)∨(¬d))∧(b∨(¬c)∨(¬d))∧(a∨b∨(¬c)∨(¬d))
(a∧b)∨(a∧¬c)∨(b∧¬c)∨¬d
(¬d)∨(a∧b)∨(a∧(¬c))∨(b∧(¬c))
