Expresión xy≡¬x¬y
El profesor se sorprenderá mucho al ver tu solución correcta😉
Solución
Solución detallada
(x∧y)⇔(¬x∧¬y)=(x∧¬y)∨(y∧¬x)
(x∧¬y)∨(y∧¬x)
Tabla de verdad
+---+---+--------+
| x | y | result |
+===+===+========+
| 0 | 0 | 0 |
+---+---+--------+
| 0 | 1 | 1 |
+---+---+--------+
| 1 | 0 | 1 |
+---+---+--------+
| 1 | 1 | 0 |
+---+---+--------+
Ya está reducido a FND
(x∧¬y)∨(y∧¬x)
(x∨y)∧(x∨¬x)∧(y∨¬y)∧(¬x∨¬y)
(x∨y)∧(x∨(¬x))∧(y∨(¬y))∧((¬x)∨(¬y))
(x∨y)∧(¬x∨¬y)
(x∧¬y)∨(y∧¬x)