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