Un problema de lógica establece que: 'Si A es verdadero, entonces B o C son verdaderos. Si B es verdadero, entonces A o D son verdaderos.' ¿Cuál es la condición necesaria y suficiente para que A y B sean verdaderos?