Logical NOR

In boolean logic, logical nor or joint denial is a truth-functional operator which produces a result that is the negation of logical or. That is, a sentence of the form (p NOR q) is true precisely when neither p nor q is true—i.e. when both of p and q are false. In grammar, nor is a coordinating conjunction. One way of expressing p NOR q is , where the symbol signifies OR and the bar signifies the negation of the expression under it: in essence, simply . Other ways of expressing p NOR q are Xpq, and .

Logical NOR

In boolean logic, logical nor or joint denial is a truth-functional operator which produces a result that is the negation of logical or. That is, a sentence of the form (p NOR q) is true precisely when neither p nor q is true—i.e. when both of p and q are false. In grammar, nor is a coordinating conjunction. One way of expressing p NOR q is , where the symbol signifies OR and the bar signifies the negation of the expression under it: in essence, simply . Other ways of expressing p NOR q are Xpq, and .