xorFxxxornegxxFandTxxandFxFandxxxandxorxyzxorandxzandyzxorxxFimplxyxorandxyxorTxorxyxorandxyxorxyequivxyxorxorTyxnegxxorTxxor2ACF0neg1and2ACT0impl2or2ACequiv2FULL./TRS/CimeAC/boolean_rings.trs