notxxorxtrueimpliesxyxorandxyxorxtrueorxyxorandxyxorxy=xyxorxxorytruenot1xor2true0implies2and2or2=2FULL./TRS/SK90/2.30.trs