El profesor se sorprenderá mucho al ver tu solución correcta😉
(¬(x∧(¬y)))⇔((¬x)∨(x∧y))
+---+---+--------+ | x | y | result | +===+===+========+ | 0 | 0 | 1 | +---+---+--------+ | 0 | 1 | 1 | +---+---+--------+ | 1 | 0 | 1 | +---+---+--------+ | 1 | 1 | 1 | +---+---+--------+