
Logical NOR
Binary operation that is true if and only if both operands are false

Binary operation that is true if and only if both operands are false
In Boolean logic, logical NOR, non-disjunction, 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 p and q are false. It is logically equivalent to ¬ ( p ∨ q ) {\displaystyle \neg (p\lor q)} and ¬ p ∧ ¬ q {\displaystyle \neg p\land \neg q} , where the symbol ¬ {\displaystyle \neg } signifies logical negation, ∨ {\displaystyle \lor } signifies OR, and ∧ {\displaystyle \land } signifies AND. Non-disjunction is usually denoted as ↓ {\displaystyle \downarrow } or...
Read on Wikipedia · Image Public domain
Open boosters, collect cards and trade them. Free to play.
Play for free