1.Previous
3.Next

(); negation (); material conditional (); and possibly the biconditional (). Further connectives can be defined, if so desired, by defining them in terms of these primitives. For example, NOR (the negation of the disjunction, sometimes denoted ) can be expressed as conjunction of two negations:
: Similarly, the negation of the conjunction, NAND (sometimes denoted as ), can be defined in terms of disjunction and negation.

1.Previous
3.Next