Logical conjunction is an operation on two logical values, typically the values of two propositions, that produces a value of true if and only if both of its operands are true.
A logical conjunction of propositions and may be written in various ways. Among the most common are these:
A truth table for appears below:
A logical graph for is drawn as two letters attached to a root node:
Written as a string, this is just the concatenation The proposition may be taken as a Boolean function having the abstract type where is interpreted in such a way that means and means
A Venn diagram for indicates the region, in this case a single cell, where is true by means of a distinct color or shading, as shown below:
- Logical Conjunction @ InterSciWiki
- Logical Conjunction @ Subject Wikis
- Logical Conjunction @ Wikiversity
- Logical Conjunction @ Wikiversity Beta
Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.