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