notxifxfalsetrueandxyifxyfalseorxyifxtrueyimpliesxyifxytrue=xxtrue=xyifxynotyiftruexyxiffalsexyyifxxifxfalsetruetrue=xyifxyifyfalsetruenotxifxfalsetrueandxyifxyfalseorxyifxtrueyimpliesxyifxytrue=xynoty=xyifxynoty=xyifyfalsetrue=xyifxyifyfalsetruetrueandxyifxyfalsefalseorxyifxtrueyfalseimpliesxyifxytruefalse=xynotyfalsenotxifxfalsetruefalse=xyifxynotyfalse=xyifxyifyfalsetruefalse=xyifyfalsetruefalse