Creación de un circuito lógico con estipulaciones

Question

Sólo puedo usar las cuatro fuentes A, B, C y D. Se me permite usar negaciones, si es necesario.

Las estipulaciones son:

1. Si "A" no está activado, ninguna combinación de BCD puede producir una salida
2. "A" más otras dos fuentes tienen que producir una salida
3. "A" más otras tres fuentes tienen que producir una salida
4. "A" más una fuente, no puede producir una salida

En resumen, si "A" está apagado, nunca puede haber una salida. Si "A" está con una sola otra fuente, entonces nunca puede haber una salida. Todas las demás combinaciones DEBEN producir una salida.

Llevo casi 3 horas con esto y no consigo resolverlo. Cada vez que consigo satisfacer casi todas las estipulaciones, me encuentro con un obstáculo que estropea algo.

Answer 1

Así que quieres una salida si $A$ y al menos dos de $B,C,D$ . Escrito así podemos transcribirlo como $$A \wedge ((B \wedge C)\vee (B \wedge D) \vee (C \wedge D))$$