Expresión ¬c∧¬d∧(¬a∨b)∨a∧¬b∧c∧¬d
El profesor se sorprenderá mucho al ver tu solución correcta😉
Solución
Solución detallada
(¬c∧¬d∧(b∨¬a))∨(a∧c∧¬b∧¬d)=¬d∧(a∨¬c)∧(¬b∨¬c)∧(b∨c∨¬a)
¬d∧(a∨¬c)∧(¬b∨¬c)∧(b∨c∨¬a)
(¬d)∧(a∨(¬c))∧((¬b)∨(¬c))∧(b∨c∨(¬a))
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 | 0 |
+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 0 |
+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 0 |
+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 0 |
+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 0 |
+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 |
+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 0 |
+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 1 |
+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 0 |
+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 0 |
+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 0 |
+---+---+---+---+--------+
(b∧¬c∧¬d)∨(¬a∧¬c∧¬d)∨(a∧c∧¬b∧¬d)
(b∧(¬c)∧(¬d))∨((¬a)∧(¬c)∧(¬d))∨(a∧c∧(¬b)∧(¬d))
Ya está reducido a FNC
¬d∧(a∨¬c)∧(¬b∨¬c)∧(b∨c∨¬a)
(¬d)∧(a∨(¬c))∧((¬b)∨(¬c))∧(b∨c∨(¬a))
(b∧¬c∧¬d)∨(c∧¬c∧¬d)∨(¬a∧¬c∧¬d)∨(a∧b∧¬b∧¬d)∨(a∧b∧¬c∧¬d)∨(a∧c∧¬b∧¬d)∨(a∧c∧¬c∧¬d)∨(a∧¬a∧¬b∧¬d)∨(a∧¬a∧¬c∧¬d)∨(b∧¬b∧¬c∧¬d)∨(c∧¬b∧¬c∧¬d)∨(¬a∧¬b∧¬c∧¬d)
(b∧(¬c)∧(¬d))∨(c∧(¬c)∧(¬d))∨((¬a)∧(¬c)∧(¬d))∨(a∧b∧(¬b)∧(¬d))∨(a∧b∧(¬c)∧(¬d))∨(a∧c∧(¬b)∧(¬d))∨(a∧c∧(¬c)∧(¬d))∨(a∧(¬a)∧(¬b)∧(¬d))∨(a∧(¬a)∧(¬c)∧(¬d))∨(b∧(¬b)∧(¬c)∧(¬d))∨(c∧(¬b)∧(¬c)∧(¬d))∨((¬a)∧(¬b)∧(¬c)∧(¬d))
¬d∧(a∨¬c)∧(¬b∨¬c)∧(b∨c∨¬a)
(¬d)∧(a∨(¬c))∧((¬b)∨(¬c))∧(b∨c∨(¬a))
