+ x x x

<<>> ⊕ a ⊕ b ⊕ a•b

x + x x

<<>> ⊕ <a> ⊕ b ⊕ <a•b>

x x + x

<<>> ⊕ a ⊕ <b> ⊕ <a•b>

x x x +

<<>> ⊕ <a> ⊕ <b> ⊕ a•b

- x x x

<> ⊕ <a> ⊕ <b> ⊕ <a•b>

x - x x

<> ⊕ a ⊕ <b> ⊕ a•b

x x - x

<> ⊕ <a> ⊕ b ⊕ a•b

x x x -

<> ⊕ a ⊕ b ⊕ <a•b>