andxfalsefalseandxnotfalsexnotnotxximpliesfalseynotfalseimpliesxfalsenotximpliesnotxnotyimpliesyandxyand2false0not1implies2FULL./TRS/SK90/2.35.trs