vars x3 x1 x2 f;

f := (x1 & x2) |
(x2 & x3);

print f;