<?xml version="1.0" encoding="UTF-8"?>

<record version="10" id="533">
 <title>conjunction</title>
 <name>Conjunction</name>
 <created>2001-10-26 06:58:06</created>
 <modified>2007-07-09 22:15:02</modified>
 <type>Definition</type>
 <creator id="2" name="akrowne"/>
 <author id="2" name="akrowne"/>
 <classification>
	<category scheme="msc" code="03-00"/>
 </classification>
 <synonyms>
	<synonym concept="conjunction" alias="logical and"/>
	<synonym concept="conjunction" alias="conjunctive truth function"/>
 </synonyms>
 <related>
	<object name="Disjunction"/>
	<object name="PropositionalLogic"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}</preamble>
 <content>A conjunction is true only when both parameters (called conjuncts) are true.  In English, conjunction is denoted by the word ``and''.  Symbolically, we represent it as $\land$ or multiplication applied to Boolean parameters.  Conjunction of $a$ and $b$ would be written $$a \land b$$ or, in algebraic context, $$ a \cdot b $$ or $$ ab $$  The truth table for conjunction is 

\begin{center}
\begin{tabular}{ccc}
$a$ &amp; $b$ &amp; $a \land b$ \\
\hline
F &amp; F &amp; F \\
F &amp; T &amp; F \\
T &amp; F &amp; F \\
T &amp; T &amp; T
\end{tabular}
\end{center}</content>
</record>
