---

X + Y + Z
-X + Y + Z
Y + (X · Z + (-X) · (-Z))
Y + -X + Z
X · (-Y) · (-Z) + (-X) · Y · Z
(-(X · Z + (-X) · (-Z)) · (-Y)) + X
X + Y + Z
X · Z
X · Y + Z
1
-X + -Z + Y
-X + Z
(-X) · Y ↔ (-Y) + Z
-X + Y + Z
X + Y + Z
X + (-X) · Y · Z
X · Y + X · (-Z)
X + (-Y) + Z
X · Z + X · (-Y)
-X + (-Y) + Z
(X · Y) ↔ (Y + Z)
(-X) · (-Y) · (-Z) + X · Y · Z
-X + Y + Z
(Z + Y) ↔ (X + (-Y))
Y + (-X) + (-Z)
((-X) + (-Y)) · (Z + X)
Y + (-X) · (-Z)
-X + Y
(X · Y) ↔ ((-Y) + Z)
Y + (-X) · (-Z)