notxxorxtrueimpliesxyxorandxyxorxtrueorxyxorandxyxorxy=xyxorxxorytrue1=211121or221520and211420implies221420xor211120true00not1110notxxorxtrueimpliesxyxorandxyxorxtrueorxyxorandxyxorxy1or221221and211120implies221120xor211120true00not1110notxxorxtrueimpliesxyxorandxyxorxtrue1and221420implies241424xor211220true00not1110notxxorxtrue1xor211120true00not1111