notxxorxtrueorxyxorandxyxorxyimpliesxyxorandxyxorxtrueandxtruexandxfalsefalseandxxxxorxfalsexxorxxfalseandxorxyzxorandxzandyznot1xor2true0or2and2implies2false0FULL./TRS/SK90/4.20.trs