Talk:Logical operator

Merging boolean operators with logical operators

We have the following pairs of boolean/logical operators:

• Logical and / Conjunction
• Logical or / Disjunction

and the three-way equivalence:

• XNOR, Logical equivalence / Iff

In all of these cases I propose that what's on the left be merged into the article on the right, as is the case with Logical not and Negation at present.

Since I'm on the topic, this article could do with a lot of improving, eg. remove presumption that logic = Boolean logic, introduce slightly more high-powered mathematical analysis, such as lattice of expressiveness of sets of logical operators, and so on. ---- Charles Stewart 21:04, 11 Mar 2005 (UTC)