TeX-källa:
(13)(2) (x_1 + x_2 x_3 ) = x_3 + x_2 x_1 = x_3 + x_1 x_2