(!x0&&x3)||(x0&&x1&&!x2)||(!x0&&!x1&&!x2);