首页 >
∨
✍ dations ◷ 2025-12-03 21:03:46 #∨
逻辑或(logical or)又称逻辑析取(logical disjunction)、逻辑选言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足:当且仅当其两个变量的真值都为假时,其结果为假。A或B的真值表(也写作A
∨
{displaystyle lor }
B(逻辑学),A || B(计算机科学),或A + B(电子学))。逻辑或满足以下性质:逻辑或常在位运算中使用,比如:or运算符可以用来将比特域中的位设定为1,方法是把此域和一个各位均为1的常量域取逻辑或运算。x ∈ A ∪ B⇔( 当且仅当) (x ∈ A) ∨ (x ∈ B).就如其他在数理逻辑中形式化的概念一般,自然语言中的“或”和逻辑的“或”高度相关,但有差异。像例如在“你给我打电话,或者寄信给我”这例子中,其真实的意思往往是“你要不就给我打电话,要不就给我寄信,但不要同时寄信和打电话。”,也就是会排除掉两者皆成立的状况;在另一方面,在“小橘子姐姐开赛车的驾驶技术神乎其技,因此她很努力,或者她很有天分”这例子中,两者皆成立的状况通常并未排除。也就是说,在自然语言中,“或”可以指“逻辑或”,或者是“逻辑异或”。
相关
- 酸奶酸奶(英语:Yogurt,又称老酸奶、优格、乳酪、酸乳、优酪乳)是乳制品的一种,由动物乳汁经乳酸菌发酵而产生。优格一词源自土耳其语的yoğurt(读音:.mw-parser-output .IPA{font-famil
- 约翰·麦克劳德约翰·詹姆士·理察·麦克劳德(John James Richard Macleod,1876年9月6日-1935年3月16日)是一位苏格兰医师、生理学家。他在1923年与弗雷德里克·格兰特·班廷因为发现了胰岛素,
- CYP2D62F9Q, 3QM4, 3TBG, 3TDA, 4WNT, 4WNU, 4WNV, 4WNW· iron ion binding · drug binding · arachidonic acid epoxygenase activity · steroid hydroxylase activity
- 感觉感觉(英语:Feeling)是对客观现实个别特性(声音、颜色、气味等)的反应。由来自物质世界的一定刺激直接作用于有机体的一定感觉器官,如光线引起视觉,声波引起听觉;刺激在感官内引起的
- β-tgβ-血小板球蛋白(β-血小板球蛋白,也称为Pro-Platelet碱性蛋白)是存储在血小板的α-颗粒中并在血小板激活后大量释放的蛋白。它是一种趋化因子(C-X-C基序)配体7的蛋白异型体。他
- 极昼极昼(英语:Polar day,俗称 Midnight sun)又称永昼,是发生在北极圈以北或南极圈以南的极区夏季,有着午夜时分依然能够看见太阳的自然景观。大约在夏至(约是北半球的6月21日和南半球
- 2A类致癌物这些物质、混合物和接触场合被国际癌症研究机构列为2A类致癌物(对人类很可能有致癌性)。这里的大部分物质对人类的致癌的证据有限,但有足够的对其他某些动物致癌的证据。
- 地中海型贫血地中海贫血(Thalassemias),又称珠蛋白生成障碍性贫血,海洋性贫血症,简称地贫,是遗传性血液疾病,会造成血红蛋白合成障碍,其症状可依不同分型而有所不同,程度可能从无症状到严重。通常
- 尿尿,又称尿液,是人类和脊椎动物为了新陈代谢的需要,经由泌尿系统及尿路排出体外的液体排泄物。排出的尿液可调节机体内水和电解质的平衡以及清除代谢废物且可同时散热,尤其是退化
- 偏旁陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧ 小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
