Wikipedia:WikiProject Logic/Logical Operators

A subproject of WikiProject Logic for the purpose of expanding, and integrating the articles describing the Logical Operators.

There are 16 binary logical operators. The concept behind each of them is applied in various disparate fields: (logic, mathematics, grammar, computer science, linguistics). Each of the sixteen has the potential to reach featured article status with time and effort.

I propose to see:

• A) the logical, grammatical, mathematic, and computer science applications all on the same page for the same concept with links to the main article for each section as appropriate.
• B) similar sections including truth table, venn diagram, properties (including theorems that demonstrate the properties), symbols (preferably from all the above disciplines).
• C) several merges including If and only if, logical biconditional, and logical equality; different pages for implication; logical NOR and NOR gate; others
• D) unifying main page and nav bar.

Tautology	Nand	Material Implication	not p
${\displaystyle \top }$ Tautology (logic) Tautology (rhetoric) True Truth Truth value	${\displaystyle \uparrow }$ Nand NAND Gate Sheffer stroke Ampheck Sole sufficient operator	${\displaystyle \rightarrow }$ Material implication Counterfactual conditional Indicative conditional Corresponding conditional (logic) Strict conditional Logical implication	${\displaystyle \neg p}$ Negation Not! Negation (rhetoric)
Converse implication	not q	Material Equivilence	Joint Denial
${\displaystyle \leftarrow }$ Converse implication Conversion (logic)	${\displaystyle \neg q}$ Negation Not! Negation (rhetoric)	${\displaystyle \equiv }$ Material equivalence If and only if Logical equivalence Logical equality XNOR gate Biconditional elimination Biconditional introduction	${\displaystyle \downarrow }$ Joint denial Ampheck Bitwise NOR NOR gate Sole sufficient operator
Inclusive Disjunction	Exclusive Disjunction	q	Converse nonimplication
${\displaystyle \lor }$ Logical disjunction And/or Bitwise OR Disjunction elimination Disjunction introduction OR gate	${\displaystyle \not \equiv }$ Exclusive disjunction Bitwise XOR XOR gate Exclusive or	${\displaystyle q}$ Law of Identity	${\displaystyle \not \leftarrow }$ Converse nonimplication
p	Material Nonimplication	Conjunction	Contradiction
${\displaystyle p}$ Law of Identity	${\displaystyle \not \rightarrow }$ Material nonimplication	${\displaystyle \land }$ Logical conjunction AND gate Binary and Bitwise AND Conjunction introduction Conjunction elimination Grammatical conjunction	${\displaystyle \bot }$ Contradiction False