eqxxtruenoteqxyneqxynotneqxyeqxynottruefalsenotfalsetruenotnotxxnotandxyornotxnotynotorxyandnotxnotyneqxxfalseorandxyzandorxzoryzorxxxorxtruetrueorxfalsexandxxxandxtruexandxfalsefalseandxorxyxeq2Ctrue0not1neq2Cfalse0and2ACor2ACFULL./TRS/AProVE_AC/AC08.trs