Expresión ¬A&¬B&Cv¬A&B&CvA&¬B&¬CvA&B&C
El profesor se sorprenderá mucho al ver tu solución correcta😉
Solución
Solución detallada
(a∧b∧c)∨(a∧¬b∧¬c)∨(b∧c∧¬a)∨(c∧¬a∧¬b)=(b∧c)∨(c∧¬a)∨(a∧¬b∧¬c)
(b∧c)∨(c∧¬a)∨(a∧¬b∧¬c)
(b∧c)∨(c∧(¬a))∨(a∧(¬b)∧(¬c))
Tabla de verdad
+---+---+---+--------+
| a | b | c | result |
+===+===+===+========+
| 0 | 0 | 0 | 0 |
+---+---+---+--------+
| 0 | 0 | 1 | 1 |
+---+---+---+--------+
| 0 | 1 | 0 | 0 |
+---+---+---+--------+
| 0 | 1 | 1 | 1 |
+---+---+---+--------+
| 1 | 0 | 0 | 1 |
+---+---+---+--------+
| 1 | 0 | 1 | 0 |
+---+---+---+--------+
| 1 | 1 | 0 | 0 |
+---+---+---+--------+
| 1 | 1 | 1 | 1 |
+---+---+---+--------+
(b∧c)∨(c∧¬a)∨(a∧¬b∧¬c)
(b∧c)∨(c∧(¬a))∨(a∧(¬b)∧(¬c))
Ya está reducido a FND
(b∧c)∨(c∧¬a)∨(a∧¬b∧¬c)
(b∧c)∨(c∧(¬a))∨(a∧(¬b)∧(¬c))
(a∨c)∧(c∨¬b)∧(c∨¬c)∧(a∨b∨c)∧(a∨b∨¬a)∧(a∨c∨¬a)∧(b∨c∨¬b)∧(b∨c∨¬c)∧(b∨¬a∨¬b)∧(b∨¬a∨¬c)∧(c∨¬a∨¬b)∧(c∨¬a∨¬c)
(a∨c)∧(c∨(¬b))∧(c∨(¬c))∧(a∨b∨c)∧(a∨b∨(¬a))∧(a∨c∨(¬a))∧(b∨c∨(¬b))∧(b∨c∨(¬c))∧(b∨(¬a)∨(¬b))∧(b∨(¬a)∨(¬c))∧(c∨(¬a)∨(¬b))∧(c∨(¬a)∨(¬c))
(a∨c)∧(c∨¬b)∧(b∨¬a∨¬c)
(a∨c)∧(c∨(¬b))∧(b∨(¬a)∨(¬c))
