逻辑与

✍ dations ◷ 2025-02-28 07:05:49 #逻辑与

在逻辑和数学中,逻辑合取或逻辑与或且是一个二元逻辑运算符。如果其两个变量的真值都为“真”,其结果为“真”,否则其结果为“假”。

A与B的真值表(也写作A {displaystyle land } 和,可以直观地推出他们的合取。

其形式如下:

形式化为:

下面的例子是满足联言推理的合成式的论证:

另一个例子如下:

还有一个例子如下:

合取消去规则(∧-)(Conjunction elimination rule)或联言推理的分解式,是另一个在经典逻辑中简单且有效的论证形式。从任何合取式中都可以直观地推论出两个前提中的任意一个。

其形式如下:

...或者,

用逻辑运算符描述为,

形式化为:

或者,

例如:

或者

另一个例子如下:

或者

还有一个例子如下:

或者

逻辑与满足以下性质:

如果用二进制来表达真(1)和假(0),逻辑与运算与算术乘法运算一致。

逻辑与常在位运算中使用,比如:

在高等计算机编程中,逻辑合取“与”通常由内置算符and或&号来表达。很多编程语言还提供与逻辑与相应的短路求值控制结构。

布尔“与”也在SQL的运算符中使用。有些数据库区分大小写,需要"AND"符号。

在计算机科学中,AND运算符可以用来构造位屏蔽,以选择二进制序列的一部分。比如10011101 AND 00001000 = 00001000用来取二进制序列的第五位。

集合论中的交运算是用逻辑与来定义的: ∈ ∩ 当且仅当( ∈ ) ∧ ( ∈ )。因此逻辑与有很多与交集运算相同的性质,诸如结合律,交换律,分配律,及德·摩根定律。

template:Common logical symbols(英语:template:Common logical symbols)

相关

  • 奶油奶酪奶油奶酪(英语:Cream cheese)是用稀奶油制新鲜软质奶酪的统称,因此产地遍布全球。奶油奶酪质地松软,可直接涂用食物 (例如贝果)上,亦可直接食用。奶酪蛋糕亦以此种奶酪制作。
  • 沙蚕约120种沙蚕(学名:Nereis),俗称沙虫,在福州称作流蜞,是多毛纲叶须虫目沙蚕科的一种环节动物。常栖息于泥沙中,生殖季节或夜出觅食时能游泳。可作为鱼类、虾、蟹等动物的食饵。体长1
  • 自体输血自体输血,也即将病人自己的血液重新输给自己,其优点在于不会出现免疫反应,也无需担心感染新的疾病。自体输血的形式主要有:
  • 科珀斯克里斯蒂学院剑桥大学基督圣体学院(英语:Corpus Christi College, Cambridge)是剑桥大学的一个学院。基督圣体学院是剑桥大学唯一一所由剑桥市民建立的学院,为纪念学基督圣体和圣母玛利亚始
  • 丹霞山坐标:25°01′55″N 113°44′46″E / 25.03194°N 113.74611°E / 25.03194; 113.74611丹霞山位于中国广东省北部的韶关市仁化县,是丹霞地貌的命名地。丹霞山由红色砂砾岩构
  • 努力号三桅帆船努力号(HMS Endeavor,又称为HM Bark Endeavor)是一艘排水量为368吨,可乘载94人的三桅帆船。詹姆斯·库克船长的第一次航行,便是指挥这艘船。在该次航行中,努力号于1768年8月由普利
  • 喜帖喜帖,是即将结婚的新人所印制的邀请函,又称为喜柬。在英语中称为Wedding Invitation。此邀请函上通常印有结婚日期和典礼、婚宴举行时间,通常也会印上男女双方家长的名字。喜帖
  • 史绍熙史绍熙(1916年8月19日-2000年9月16日),中国工程热物理学家、燃烧学家。江苏宜兴人。1939年毕业于北洋大学,获学士学位。1939~1945年间,先后在西北工学院、四川铭贤学院和武汉大学任
  • 金忠 (明朝将领)金忠(?-1431年),原名也先土干,蒙古王子,明朝军事将领,忠勇王。永乐二十一年(1423年),明成祖北征,在抵达上庄堡,金忠率妻子部属来降。明成祖赐其姓名,封忠勇王。次年讨伐阿鲁台,命其与陈懋为
  • 哥谷罗国哥谷罗国(古名马六甲,现今左马六甲一附近)达浑都督府,以延陀部落置,侨治宁朔。领州五:姑衍州步讫若州溪弹州永徽中,仆固州都督府侨治朔方。右隶夏州都督府。