例:X:=a*b+c op ARGI ARG2 (2)+(1 (2) 例:(A∧B)∨(-CVD op ARGI ARG2 (1)∧ A B C (3) (1)(3)9 例：X:=a*b+c op ARG1 ARG2 (1) * a b (2) + (1) c (3) := X (2) 例：(A ∧B) ∨ ( C ∨D) op ARG1 ARG2 (1) ∧ A B (2)  C _ (3) ∨ (2) D (4) ∨ (1) (3)