notxxorxtrueorxyxorandxyxorxyimpliesxyxorandxyxorxtrueandxtruexandxfalsefalseandxxxxorxfalsexxorxxfalseandxorxyzxorandxzandyznotxxorxtrueorxyxorandxyxorxyorxyandxyorxyxorxyimpliesxyxorandxyxorxtrueimpliesxyandxyimpliesxyxorxtrueandxorxyzxorandxzandyzandxorxyzandxzandxorxyzandyztruenotxxorxtruefalse28orxyxorandxyxorxyfalse17orxyandxyfalse6orxyxorxyfalseimpliesxyxorandxyxorxtruefalseimpliesxyandxyfalseimpliesxyxorxtruefalseandxorxyzandyzandxorxyzandxztrueand21andxorxyzxorandxzandyzfalse