Ответ(ы) на вопрос:
Гость(A→(B→C))→((A→B)→(A→))≡1
(¬A+¬B+C)→(A*¬B+¬A+C)≡1
A*B*¬C+A*¬B+¬A+C≡1
A*(B*¬C+¬B)+¬A+C≡1 (применяем формулу: A+¬A*B=A+B)
A*(¬B+¬C)+¬A+C≡1
¬A+¬B+¬C+C≡1 (C+¬C=1)
1≡1
Не нашли ответ?
Похожие вопросы