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