(x1||x2)&&(x3||x4)&&(x2||x3)&&(~x3||x4)