(¬A+C)׬A׬C×(B+¬C)׬B׬C=?

(-A+C)&-A&-C&(B+-C)&-B&-C

Заносим внешние конъюнкции под скобки

(-A&-A&-C + C&-A&-C)(-B&-C&B + -B&-C&-C)

Сокращаем по законам x&-x = 0, x&0 = 0, x&x = x

-A&-C&-B&-C

Опять применяем закон x&x = x

-A&-B&-C