Если & - конъюнкция, а ^ дизъюнкция, тогда
(|A^C)&B&|C^(|B^C)&A&|C =
((|C&|A)^(|C&C))&B^((|C&|B)^(|C&C)) &A =
|C&|A&B^|C&|B&A =
|C&(|A&B^|B&A) =
|C&(A^B)&(|A^|B)