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