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