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