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