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