notxifxfalsetrueandxyifxyfalseorxyifxtrueyimpliesxyifxytrue=xxtrue=xyifxynotyiftruexyxiffalsexyyifxxifxfalsetruetrue=xyifxyifyfalsetrue1=211622implies241124or211122and221122if31112131true00false00not1411notxifxfalsetrue=xyifxynoty=xyifxyifyfalsetrue1=241323if31112230true00false01not1111notxifxfalsetrue1if31112130true00false00not1111