在数字逻辑中，逻辑算符互斥或（英語：Exclusive or）是对两个运算元的一种邏輯分析类型。与一般的邏輯或不同，當兩兩數值相同時為否，而數值不同時為真。 对于命题 p , q {\displaystyle p,q} ， p {\displaystyle p} 异或 q {\displaystyle...

异或门（英語：Exclusive-OR gate，簡稱XOR gate，又稱EOR gate、ExOR gate）是数字逻辑中实现逻辑异或的逻辑门，功能见右侧真值表。若两个输入的电平相异，则输出为高电平（1）；若两个输入的电平相同，则输出为低电平（0）。 这一函数能实现模为2的加法，因此，异或...

逻辑或（logical or）又称逻辑析取（logical disjunction）、邏輯選言，是逻辑和数学概念中的一个二元逻辑运算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。 逻辑或是两个逻辑变量的一种运算，经常是两个命题的运算。它满足...

= B 其中 ⊕ {\displaystyle \oplus } 为逻辑异或（XOR）运算的符号。按这种逻辑，文本序列的每个字符可以通过与给定的密钥进行按位异或运算来加密。如果要解密，只需要将加密後的结果与密钥再次进行按位异或运算即可。 例如，字符串“Wiki”（8位ASCII：01010111...

同或门（英語：XNOR gate，偶尔写作ENOR gate、ExNOR gate，在Intel處理器中，此项功能被命名為"test"），又称异或非门，是数字逻辑中实现逻辑双条件的逻辑门，功能见右侧真值表。若两个输入的电平相同，则输出为高电平（1）；若两个输入的电平相异，则输出为低电平（0）。...

还要注意在英语中单词OR（或）可以分别对应于逻辑表达中的或（OR）（此亦彼亦）和异或（XOR）（此即彼非），具体意思要依赖于上下文进行判断： "我在潮湿或高温的时候出汗。"（此亦彼亦，判定为逻辑或） "我午饭打算吃鸡肉或牛肉。"（此即彼非，判定为逻辑异或） 在规定计算机程序或者电子电路时，如何使用英语准确描述其功能逻辑...

按位异或运算，对等长二进制模式或二进制数的每一位执行逻辑异或操作。操作的结果是如果某位不同则该位为1，否则该位为0。例如 0101 XOR 0011 = 0110 在类C语言中，按位异或运算符是"^"。 汇编语言的程序员们有时使用按位异或运算作为将寄存器的值设为0的捷径。用值的自身对其执行按位异或...

Q是布尔变量）的16个可能的真值函数中最常用的7个的定义： 注解： T = 真，F = 假 ∧ = AND（逻辑合取） ∨ = OR（逻辑析取） ∨ = XOR（异或） ≡ = XNOR（异或非） → = “如果-那么”条件 ← = “當”条件 ↔ = 双条件或“当且仅当” Johnston图，类似于文氏图和欧拉图，提供了可视化真值表的方式。LogicTutorial...

查看维基词典中的词条「或」。 或可以指： 用于表示选择关系的连词。 逻辑或，逻辑和数学中的一个二元逻辑运算符。 逻辑异或，逻辑和数学中的另一个二元逻辑运算符。...

或非门（英語：NOR gate）是数字逻辑中实现逻辑或非的逻辑门，功能见右侧真值表。若输入均为低电平（0），则输出为高电平（1）；若输入中至少有一个为高电平（1），则输出为低电平（0）。或非是逻辑或加逻辑非得到的结果。或非是一种具有函数完备性的运算，因此其他任何逻辑函数都能用或...

被歸類為非古典邏輯的系統包括： 次协调逻辑 相干逻辑 时间逻辑 双面真理说 可计算性逻辑 多值逻辑 模糊逻辑 直觉主义逻辑 线性逻辑 模态逻辑 逻辑 哲学逻辑 经典逻辑 形式逻辑 非形式逻辑 悖论 Logic, Non-Classical, encyclopedia...

传统逻辑，也叫做词项逻辑，是关于亚里士多德（公元前384年—前322年）所开创的传统逻辑学的宽松的术语，并有幸的没有经历广泛的改变，直到十九世纪末出现了谓词逻辑。 有时很难理解在弗雷格和罗素之前的哲学，原因是对他们之前的所有哲学家们所共识的术语和观念没有基本的掌握。本文提供对传统系统的基本介绍，和对进一步阅读的建议。...

参与逻辑运算的变量叫逻辑变量，用字母A，B……表示。每个变量的取值非0 即1。 0、1不表示数的大小，而是代表两种不同的逻辑状态。 正、负逻辑规定： 正逻辑体制规定：高电平为逻辑1，低电平为逻辑0。 负逻辑体制规定：低电平为逻辑1，高电平为逻辑0。 逻辑函数：如果有若干个逻辑...

或门（英語：OR gate）是数字逻辑中实现逻辑或的逻辑门，功能见右侧真值表。只要两个输入中至少有一个为高电平（1），则输出为高电平（1）；若两个输入均为低电平（0），输出才为低电平（0）。换句话说，或门的功能是得到两个二进制数的最大值，而与门的功能是得到两个二进制数的最小值。 下列包括逻辑...

这一步骤的成果通常是一个寄存器传输级描述。逻辑设计之后的下一步是电路设计。在现代的电子设计自动化中，逻辑设计可以通过使用基于行为级描述的高阶合成工具自动完成。 逻辑功能元件通常由与、或、异或、与非等逻辑门组成，它们在数字电路中是最基本的电路元件。使用这些逻辑元件可以实现运算等功能。诸如加法器、乘法器（Binary...

本页面有特殊字符，操作系统及浏览器須支持特殊字母与符号才能正確显示，否则可能變成乱码、问号、空格等其它符号。 在逻辑中，经常使用一组符号来表达逻辑结构。因为逻辑学家非常熟悉这些符号，他们在使用的时候没有解释它们。所以，给学逻辑的人的下列表格，列出了最常用的符号、它们的名字、读法和有关的数学领域。此外，第三列包含非正式定义，第四列给出简短的例子。...

在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符（Logical...

直觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。 直觉逻辑的公式的语法类似于命题逻辑或...

进制的1和0，从而实现邏輯运算。常见的邏輯閘包括與閘，或閘，非閘，異或閘（也稱互斥或）。 邏輯閘是組成數字系統的基本結構，通常组合使用運算更複雜的邏輯。一些廠商通過組合邏輯閘生產實用、小型、集成的產品，如可程式邏輯裝置。 常用的邏輯閘有兩種常用表示法，皆由ANSI（美國國家標準協會）／IEEE（電機電子工程師學會）Std...

目前以硬體描述語言（Verilog或VHDL）描述的逻辑電路，可以利用逻辑合成和布局、布线工具软件，快速地燒錄至FPGA上進行測試，这一过程是現代集成电路设计验证的技術主流。这些可编程逻辑元件可以被用来实现一些基本的邏輯閘数字电路（比如与门、或门、异或门、非门）或者更复杂一些的组合逻辑...

算术逻辑单元（英語：Arithmetic logic unit，縮寫：ALU）是一种可对二进制整数执行算术运算或位运算的组合逻辑数字电路。ALU 与浮点数运算单元（FPU）不同，后者仅对浮点数进行操作。ALU 是许多类型的计算电路的基本部件，这些计算电路包括计算机的中央处理单元（CPU）、浮点处理单...

中国逻辑史指的是演绎逻辑和归纳逻辑等思想在中国产生和发展的历史。从逻辑史角度看，中国的逻辑学并未同欧洲、印度和穆斯林世界一样有着广泛认同和持续发展的特点，而是在相当长的时间内保持相对孤立。因此，中国的形式逻辑在逻辑学史上有着特殊的地位。 中国的逻辑思想极为丰富地表现在了各个学术的思想范围和认识中。然...

一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统，也可以稱為：一阶斷言演算、低階斷言演算、量化理論或谓词逻辑。一階邏輯和命題邏輯的不同之處在於，一階邏輯包含量詞。 高階邏輯和一階邏輯不同之處在於，高階邏輯的斷言符號可以有斷言符號或函數符號當做引數，且容許斷言量詞或函數量詞。在一階邏輯...

在语言和逻辑中，量化是用量词指定一个谓词的有效性的广度的构造，就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子，我们称我们已经量化了这个谓词。量化在自然语言和形式语言中都使用。在自然语言中，量词的例子有“所有”、“某些”；“很多”、“少量”、“大量”也是...

与门（英語：AND gate）是数字逻辑中实现逻辑与的逻辑门，功能见右侧真值表。仅当输入均为高電壓（1）时，输出才为高電壓（1）；若输入中至多有一个高電壓时，则输出为低電壓。换句话说，与门的功能是得到两个二进制数的最小值，而或门的功能是得到两个二进制数的最大值。 下列包括逻辑门的3种符号：形状特征型符号（ANSI/IEEE...

《逻辑哲学论》（又译《名理论》，英语、拉丁语：Tractatus Logico-philosophicus，德语：Logisch-Philosophische Abhandlung），是奥地利哲学家维特根斯坦在其一生中出版的唯一的书籍篇幅的著作。本书在1918年第一次世界大战作者服兵役期间写成。首先...

集合的并集对交集满足分配律，交集对并集也满足分配律。另外，交集对对称差也满足分配律。 逻辑析取对逻辑合取满足分配律，逻辑合取对逻辑析取也满足分配律。另外，逻辑合取对逻辑异或也满足分配律。 对于实数（或任何全序集合），最大值对最小值满足分配律，反之亦然： max ⁡ ( a , min ⁡ (...

《幸運邏輯》和《雛邏輯～來自幸運邏輯～》兩部故事並沒有承接關係。 在L.C.922年，人們正在面對空前的危機。在神話世界的百年戰爭結束後，在神話世界中戰敗的魔神為了在地上尋求新的安居之所，開始向人類世界襲來。背負着守護街區宿命的警察特殊機關阿爾卡（ALCA），旗下年輕的盟約者被強制與擁有特殊能力的異世界女神合體，並進而投身戰場之中。...

日常語言的「或」有多種用法，有時意義是邏輯上的或（可兼選言；inclusive disjunction），有時則是邏輯上的異或（互斥選言；exclusive disjunction）。只有可兼選言的情況才屬肯定選言謬誤。 例如，媽媽對小明說：「你可以買漫畫或買玩具」，媽媽的意思當不包括小明買漫畫也買玩具的情況，屬邏輯異或。 除了「或...

gate）是数字逻辑中实现逻辑与非的逻辑门。若输入均为高电平（1），则输出为低电平（0）；若输入中至少有一个为低电平（0），则输出为高电平（1）。与非门是一种通用的逻辑门，因为任何布尔函数都能用与非门实现。 使用特定逻辑电路的数字系统利用了与非门的函数完备性（功能完备性）。复杂的逻辑表达式常以其他逻辑...

逻辑优化是指在一个或多个限制條件下，找到指定逻辑电路等效表示的过程，是数字电路与集成电路设计中逻辑综合的一部分。 电路一般来说會受到最小芯片面积和预定响应延迟的限制。对给定电路进行逻辑优化的目标是获得最小的逻辑电路，且其值与原始电路相同。通常具有相同功能的较小电路成本更低、占用空间更小、功耗更低、...