+
−
⟲
c1
e1
恒等
c1
e1
非
c1
e1
或
c2
c3
∨
c1
e1
与
c2
&