A×(B不发生)×(C不发生)＋B×(C不发生)×(A不发生)＋C×(A不发生)×(B不发生)＋A×B×(C不发生)＋B×C×(A不发生)＋C×A×(B不发生)＋A×B×C。其中A不发生就是在A上面加以个横杠。
