notxifxfalsetrueandxyifxyfalseorxyifxtrueyimpliesxyifxytrue=xxtrue=xyifxynotyiftruexyxiffalsexyyifxxifxfalsetruetrue=xyifxyifyfalsetruenotxifxfalsetrueandxyifxyfalseorxyifxtrueyimpliesxyifxytrue=xyifxynoty=xynoty=xyifxyifyfalsetrue=xyifyfalsetruetrue=xynotyfalse1notxifxfalsetruefalseandxyifxyfalsefalseorxyifxtrueyfalseimpliesxyifxytruefalse=xyifxynotyfalse=xyifxyifyfalsetruefalse=xyifyfalsetruefalse