Wikipedia:WikiProject Logic/Logical Operators

Proposal
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.