notxxorxtrueorxyxorandxyxorxyimpliesxyxorandxyxorxtrueandxtruexandxfalsefalseandxxxxorxfalsexxorxxfalseandxorxyzxorandxzandyznotxxorxtrueorxyxorandxyxorxyorxyandxyorxyxorxyimpliesxyxorandxyxorxtrueimpliesxyandxyimpliesxyxorxtrueandxorxyzxorandxzandyzandxorxyzandxzandxorxyzandyztruenotxxorxtruefalse28orxyxorandxyxorxyfalse17orxyandxyfalse6orxyxorxyfalseimpliesxyxorandxyxorxtruefalseimpliesxyandxyfalseimpliesxyxorxtruefalseandxorxyzandyzandxorxyzandxztrue1and211xor221122not1261true00or277142and241implies277172false00andxorxyzxorandxzandyzfalse