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