Упростить
notB or C -> not(A and B) or C and A
C or A and(notB or notA) -> A
1
¬CvA
Вывод в приложении.
Оцени ответ
