Expresión AB¬CD+¬ACD+¬BC
El profesor se sorprenderá mucho al ver tu solución correcta😉
Solución
Solución detallada
(c∧¬b)∨(c∧d∧¬a)∨(a∧b∧d∧¬c)=(a∨c)∧(b∨c)∧(d∨¬b)∧(¬a∨¬b∨¬c)
(a∨c)∧(b∨c)∧(d∨¬b)∧(¬a∨¬b∨¬c)
(a∨c)∧(b∨c)∧(d∨(¬b))∧((¬a)∨(¬b)∨(¬c))
Tabla de verdad
+---+---+---+---+--------+
| a | b | c | d | result |
+===+===+===+===+========+
| 0 | 0 | 0 | 0 | 0 |
+---+---+---+---+--------+
| 0 | 0 | 0 | 1 | 0 |
+---+---+---+---+--------+
| 0 | 0 | 1 | 0 | 1 |
+---+---+---+---+--------+
| 0 | 0 | 1 | 1 | 1 |
+---+---+---+---+--------+
| 0 | 1 | 0 | 0 | 0 |
+---+---+---+---+--------+
| 0 | 1 | 0 | 1 | 0 |
+---+---+---+---+--------+
| 0 | 1 | 1 | 0 | 0 |
+---+---+---+---+--------+
| 0 | 1 | 1 | 1 | 1 |
+---+---+---+---+--------+
| 1 | 0 | 0 | 0 | 0 |
+---+---+---+---+--------+
| 1 | 0 | 0 | 1 | 0 |
+---+---+---+---+--------+
| 1 | 0 | 1 | 0 | 1 |
+---+---+---+---+--------+
| 1 | 0 | 1 | 1 | 1 |
+---+---+---+---+--------+
| 1 | 1 | 0 | 0 | 0 |
+---+---+---+---+--------+
| 1 | 1 | 0 | 1 | 1 |
+---+---+---+---+--------+
| 1 | 1 | 1 | 0 | 0 |
+---+---+---+---+--------+
| 1 | 1 | 1 | 1 | 0 |
+---+---+---+---+--------+
Ya está reducido a FNC
(a∨c)∧(b∨c)∧(d∨¬b)∧(¬a∨¬b∨¬c)
(a∨c)∧(b∨c)∧(d∨(¬b))∧((¬a)∨(¬b)∨(¬c))
(c∧¬b)∨(c∧d∧¬a)∨(a∧b∧d∧¬c)
(c∧(¬b))∨(c∧d∧(¬a))∨(a∧b∧d∧(¬c))
(a∨c)∧(b∨c)∧(d∨¬b)∧(¬a∨¬b∨¬c)
(a∨c)∧(b∨c)∧(d∨(¬b))∧((¬a)∨(¬b)∨(¬c))
(c∧¬b)∨(a∧b∧¬b)∨(a∧c∧¬b)∨(b∧c∧¬b)∨(c∧d∧¬a)∨(c∧d∧¬b)∨(c∧d∧¬c)∨(c∧¬a∧¬b)∨(c∧¬b∧¬c)∨(a∧b∧d∧¬a)∨(a∧b∧d∧¬b)∨(a∧b∧d∧¬c)∨(a∧b∧¬a∧¬b)∨(a∧b∧¬b∧¬c)∨(a∧c∧d∧¬a)∨(a∧c∧d∧¬b)∨(a∧c∧d∧¬c)∨(a∧c∧¬a∧¬b)∨(a∧c∧¬b∧¬c)∨(b∧c∧d∧¬a)∨(b∧c∧d∧¬b)∨(b∧c∧d∧¬c)∨(b∧c∧¬a∧¬b)∨(b∧c∧¬b∧¬c)
(c∧(¬b))∨(a∧b∧(¬b))∨(a∧c∧(¬b))∨(b∧c∧(¬b))∨(c∧d∧(¬a))∨(c∧d∧(¬b))∨(c∧d∧(¬c))∨(c∧(¬a)∧(¬b))∨(c∧(¬b)∧(¬c))∨(a∧b∧d∧(¬a))∨(a∧b∧d∧(¬b))∨(a∧b∧d∧(¬c))∨(a∧c∧d∧(¬a))∨(a∧c∧d∧(¬b))∨(a∧c∧d∧(¬c))∨(b∧c∧d∧(¬a))∨(b∧c∧d∧(¬b))∨(b∧c∧d∧(¬c))∨(a∧b∧(¬a)∧(¬b))∨(a∧b∧(¬b)∧(¬c))∨(a∧c∧(¬a)∧(¬b))∨(a∧c∧(¬b)∧(¬c))∨(b∧c∧(¬a)∧(¬b))∨(b∧c∧(¬b)∧(¬c))
