Если в явном виде:
¬A&¬C = ¬A&(B v ¬B)&¬C = ¬A&B&¬C v ¬A&¬B&¬C
C&B = (A v ¬A)&B&C = A&B&C v ¬A&B&C
¬A&B = ¬A&B&(C v ¬C) = ¬A&B&C v ¬A&B&¬C
Т.е. исходное выражение =
¬A&B&¬C v ¬A&¬B&¬C v A&B&C v ¬A&B&C v ¬A&B&C v ¬A&B&¬C
Если убрать повторы, получится
A&B&C v ¬A&B&C v ¬A&B&¬C v ¬A&¬B&¬C =
= (A & ¬A)&B&C v ¬A&(B v ¬B)&¬C =
= B&C v ¬A&¬C