Минимизировать функцию (¬a& ¬c)v(c& b)v(¬a& b). с комментариями используемых законов

Если в явном виде:

¬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