Упростить

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

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