Question

Экзамен сдавали 4 абитуриента. Известно, что:
1) Для того, чтобы А не сдал или В сдал, необходимо, чтобы С сдал и D не сдал экзамен.
2) Для того, чтобы не сдал С, а В сдал, необходимо, чтобы А не сдал или D сдал экзамен.
3) Неверно, что для того, чтобы не сдал А, достаточно, чтобы сдал D.

Кто на основании указ. данных сдал экзамен? Решить задачу с помощью логических операций.

Answer 1

1)   (¬A+B)→(C*¬D)      =A*¬B+C*¬D
2) (¬C*B)→(¬A+D)        =C+¬B+¬A+D
3)  ¬(¬A→D)                  =¬(A+D)=¬A*¬D
-------------------------------------------------------
F=(A*¬B+C*¬D)*(C+¬B+¬A+D)*¬A*¬D=1
F=(¬A*C*¬D)*(¬A+¬B+C+D)

F=¬A*C*¬D+¬A*¬B*C*¬D+¬A*C*¬D
F=¬A*C*¬D=1  ---->    экзамен сдал С