notxxorxtrueorxyxorandxyxorxyimpliesxyxorandxyxorxtrueandxtruexandxfalsefalseandxxxxorxfalsexxorxxfalseandxorxyzxorandxzandyznotxxorxtrueorxyxorandxyxorxyorxyandxyorxyxorxyimpliesxyxorandxyxorxtrueimpliesxyandxyimpliesxyxorxtrueandxorxyzxorandxzandyzandxorxyzandxzandxorxyzandyztruenotxxorxtruefalse28orxyxorandxyxorxyfalse17orxyandxyfalse6orxyxorxyfalseimpliesxyxorandxyxorxtruefalseimpliesxyandxyfalseimpliesxyxorxtruefalseandxorxyzandyzandxorxyzandxztrue1and211xor211112andxorxyzxorandxzandyzfalse