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

Если в явном виде:¬A&¬C = ¬A&(B v ¬B)&¬C = ¬A&B&¬C v ¬A&¬B&¬CC&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