notxifxfalsetrueandxyifxyfalseorxyifxtrueyimpliesxyifxytrue=xxtrue=xyifxynotyiftruexyxiffalsexyyifxxifxfalsetruetrue=xyifxyifyfalsetruenot1if3false0true0and2or2implies2=2FULL./TRS/SK90/2.32.trs