El profesor se sorprenderá mucho al ver tu solución correcta😉
20⇒(i∧x∧(¬(17⇒x)))
+---+---+--------+ | i | x | result | +===+===+========+ | 0 | 0 | 0 | +---+---+--------+ | 0 | 1 | 0 | +---+---+--------+ | 1 | 0 | 0 | +---+---+--------+ | 1 | 1 | 0 | +---+---+--------+