deba@2459: x1 or x2
deba@2459: x2 or not x3
deba@2459: x3 or not x1