Tengo una tarea de arquitectura de ordenadores en la que tengo que simplificar una gran función booleana:
f(a, b, c, d) = a'b'c'd + a ab'c'd' + ab'cd + a'b'c'd'
Ahora llego a este punto
$(\neg B \land \neg D) \lor (\neg A \land B \land C) \lor (A \land C \land D)$
pero me sigue pareciendo demasiado complicado, pero no soy capaz de simplificarlo más, ¿alguien me puede ayudar?