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

Новые вопросы