Упростить notB or C -> not(A and B) or C and A C or A and(notB or notA) -> A

Question

Упростить

notB or C -> not(A and B) or C and A

C or A and(notB or notA) -> A

Answer 1

1
¬CvA
Вывод в приложении.

---