Экзамен сдавали 4 абитуриента. Известно, что:
1) Для того, чтобы А не сдал или В сдал, необходимо, чтобы С сдал и D не сдал экзамен.
2) Для того, чтобы не сдал С, а В сдал, необходимо, чтобы А не сдал или D сдал экзамен.
3) Неверно, что для того, чтобы не сдал А, достаточно, чтобы сдал D.
Кто на основании указ. данных сдал экзамен? Решить задачу с помощью логических операций.
Answers & Comments
Verified answer
1) (¬A+B)→(C*¬D) =A*¬B+C*¬D2) (¬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 ----> экзамен сдал С