逻辑连接

逻辑连接是对两个逻辑值（通常是两个命题的值）的操作，它产生的值为真的当且仅当它的两个操作数都为真。

命题的逻辑连词${\显示样式p}$和${\显示样式q}$可以用不同的方式书写。其中最常见的是：

• ${\显示样式p~\mathrm{和}~q}$
• ${\显示样式p\land q}$
• $｛\displaystyle p\cdot q｝$
• ${\显示样式p~q}$
• ${\显示样式pq}$

A类真理表对于${\显示样式p\land q}$显示如下：

${\显示样式{\text{逻辑连接}}}$

${\显示样式p}$	${\显示样式q}$	${\显示样式p\land q}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{F}}$	${\显示样式\mathrm{F}}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{T}}$	${\显示样式\mathrm{F}}$
${\显示样式\mathrm{T}}$	${\显示样式\mathrm{F}}$	${\显示样式\mathrm{F}}$
${\显示样式\mathrm{T}}$	${\显示样式\mathrm{T}}$	${\显示样式\mathrm{T}}$

A类逻辑图对于${\显示样式p\land q}$绘制为附加到根节点的两个字母：

作为字符串编写，这只是串联${\显示样式pq.}$这个提议${\显示样式pq}$可以视为布尔函数 ${\显示样式f（p，q）}$具有抽象类型${\显示样式f:\mathbb{B}\times\mathbb{B}\to\mathbb2{B}，}$哪里${\显示样式\mathbb{B}=\{0,1\}}$被解释为${\显示样式0}$方法${\显示样式\mathrm{false}}$和${\显示样式1}$方法${\显示样式\mathrm{true}.}$

维恩图${\显示样式p\land q}$指示其中的区域${\显示样式pq}$通过独特的颜色或阴影是正确的。在这种情况下，区域是单个单元格，如下所示：

资源

• 逻辑教学大纲

文档历史记录

上述文章的部分内容根据GNU自由文档许可证、其他适用许可证或版权所有者的许可改编自以下来源。

• 逻辑连接,国际科学维基
• 逻辑连接,维基大学
• 逻辑连接,维基百科