12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday November 23, 2024
Jump to navigationJump to searchcopy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author
'''Logical conjunction''' is an [[logical operation|operation]] on two [[logical value]]s, typically the values of two [[proposition]]s, that produces a value of ''true'' if and only if both of its operands are true.
The [[truth table]] of '''p AND q''' (also written as '''p ∧ q''', '''p & q''', or '''p<math>\cdot</math>q''') is as follows:
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:45%"
|+ '''Logical Conjunction'''
|- style="background:paleturquoise"
! style="width:15%" | p
! style="width:15%" | q
! style="width:15%" | p ∧ q
|-
| F || F || F
|-
| F || T || F
|-
| T || F || F
|-
| T || T || T
|}
<br>
==See also==
===Logical operators===
{|
| valign=top |
* [[Exclusive disjunction]]
* [[Logical conjunction]]
* [[Logical disjunction]]
* [[Logical equality]]
| valign=top |
* [[Logical implication]]
* [[Logical NAND]]
* [[Logical NNOR]]
* [[Logical negation|Negation]]
|}
===Related topics===
{|
| valign=top |
* [[Ampheck]]
* [[Boolean algebra]]
* [[Boolean domain]]
* [[Boolean function]]
| valign=top |
* [[Boolean logic]]
* [[Laws of Form]]
* [[Logic gate]]
* [[Logical graph]]
| valign=top |
* [[Peirce's law]]
* [[Propositional calculus]]
* [[Sole sufficient operator]]
* [[Zeroth order logic]]
|}
The [[truth table]] of '''p AND q''' (also written as '''p ∧ q''', '''p & q''', or '''p<math>\cdot</math>q''') is as follows:
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:45%"
|+ '''Logical Conjunction'''
|- style="background:paleturquoise"
! style="width:15%" | p
! style="width:15%" | q
! style="width:15%" | p ∧ q
|-
| F || F || F
|-
| F || T || F
|-
| T || F || F
|-
| T || T || T
|}
<br>
==See also==
===Logical operators===
{|
| valign=top |
* [[Exclusive disjunction]]
* [[Logical conjunction]]
* [[Logical disjunction]]
* [[Logical equality]]
| valign=top |
* [[Logical implication]]
* [[Logical NAND]]
* [[Logical NNOR]]
* [[Logical negation|Negation]]
|}
===Related topics===
{|
| valign=top |
* [[Ampheck]]
* [[Boolean algebra]]
* [[Boolean domain]]
* [[Boolean function]]
| valign=top |
* [[Boolean logic]]
* [[Laws of Form]]
* [[Logic gate]]
* [[Logical graph]]
| valign=top |
* [[Peirce's law]]
* [[Propositional calculus]]
* [[Sole sufficient operator]]
* [[Zeroth order logic]]
|}
