Expresión ¬c&¬dv¬a&b&¬cvav¬a&b&¬d
El profesor se sorprenderá mucho al ver tu solución correcta😉
Solución
Solución detallada
a∨(¬c∧¬d)∨(b∧¬a∧¬c)∨(b∧¬a∧¬d)=a∨(b∧¬c)∨(b∧¬d)∨(¬c∧¬d)
a∨(b∧¬c)∨(b∧¬d)∨(¬c∧¬d)
a∨(b∧(¬c))∨(b∧(¬d))∨((¬c)∧(¬d))
Tabla de verdad
+---+---+---+---+--------+
| a | b | c | d | result |
+===+===+===+===+========+
| 0 | 0 | 0 | 0 | 1 |
+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 |
+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 0 |
+---+---+---+---+--------+
| 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 | 1 |
+---+---+---+---+--------+
| 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∧¬c)∨(b∧¬d)∨(¬c∧¬d)
a∨(b∧(¬c))∨(b∧(¬d))∨((¬c)∧(¬d))
(a∨b∨¬c)∧(a∨b∨¬d)∧(a∨¬c∨¬d)∧(a∨b∨¬c∨¬d)
(a∨b∨(¬c))∧(a∨b∨(¬d))∧(a∨(¬c)∨(¬d))∧(a∨b∨(¬c)∨(¬d))
a∨(b∧¬c)∨(b∧¬d)∨(¬c∧¬d)
a∨(b∧(¬c))∨(b∧(¬d))∨((¬c)∧(¬d))
(a∨b∨¬c)∧(a∨b∨¬d)∧(a∨¬c∨¬d)
(a∨b∨(¬c))∧(a∨b∨(¬d))∧(a∨(¬c)∨(¬d))
