逻辑或(logical or)又称逻辑析取(logical disjunction)、邏輯選言,是逻辑和数学概念中的一个二元逻辑运算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。 逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足...
5 KB (518 words) - 15:28, 22 July 2024
在数字逻辑中,逻辑算符互斥或(英語:Exclusive or)是对两个运算元的一种邏輯分析类型。与一般的邏輯或不同,當兩兩數值相同時為否,而數值不同時為真。 对于命题 p , q {\displaystyle p,q} , p {\displaystyle p} 异或 q {\displaystyle...
5 KB (663 words) - 19:48, 15 April 2024
或非门(英語:NOR gate)是数字逻辑中实现逻辑或非的逻辑门,功能见右侧真值表。若输入均为低电平(0),则输出为高电平(1);若输入中至少有一个为高电平(1),则输出为低电平(0)。或非是逻辑或加逻辑非得到的结果。或非是一种具有函数完备性的运算,因此其他任何逻辑函数都能用或...
9 KB (684 words) - 15:16, 6 March 2022
在布尔逻辑运算中,逻辑或非(NOR)的结果是逻辑或的反面。也就是说,p NOR q真,当且仅当p与q都假时才成立。 逻辑或非是对于命题之间的运算,两个参数均假时结果才真;反之,两个参数中至少有一个为真时,结构就为假。 逻辑或非的真值表如下: 逻辑或非的韦恩图如下: 一种表示p NOR q的方法是 p...
2 KB (133 words) - 00:58, 27 December 2018
或门(英語:OR gate)是数字逻辑中实现逻辑或的逻辑门,功能见右侧真值表。只要两个输入中至少有一个为高电平(1),则输出为高电平(1);若两个输入均为低电平(0),输出才为低电平(0)。换句话说,或门的功能是得到两个二进制数的最大值,而与门的功能是得到两个二进制数的最小值。 下列包括逻辑...
5 KB (555 words) - 15:16, 6 March 2022
异或门(英語:Exclusive-OR gate,簡稱XOR gate,又稱EOR gate、ExOR gate)是数字逻辑中实现逻辑异或的逻辑门,功能见右侧真值表。若两个输入的电平相异,则输出为高电平(1);若两个输入的电平相同,则输出为低电平(0)。 这一函数能实现模为2的加法,因此,异或...
10 KB (1,241 words) - 08:42, 7 August 2024
直觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点,也有使用直觉逻辑的强烈动机,因为它有存在性质,这使它还适合其他形式的数学构造主义。 直觉逻辑的公式的语法类似于命题逻辑或...
12 KB (2,066 words) - 11:48, 9 August 2021
同或门(英語:XNOR gate,偶尔写作ENOR gate、ExNOR gate,在Intel處理器中,此项功能被命名為"test"),又称异或非门,是数字逻辑中实现逻辑双条件的逻辑门,功能见右侧真值表。若两个输入的电平相同,则输出为高电平(1);若两个输入的电平相异,则输出为低电平(0)。...
5 KB (357 words) - 15:52, 8 January 2024
布尔逻辑(英語:Boolean algebra)得名于乔治·布尔,他是爱尔兰科克的皇后学院的英国数学家,他在十九世纪中叶首次定义了逻辑的代数系统。现在,布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年,克劳德·艾尔伍德·香农展示了布尔逻辑如何在电子学中使用。 使用集合代数作为介绍布尔逻辑...
12 KB (1,754 words) - 13:37, 21 April 2023
在逻辑和数学中,逻辑合取或逻辑与或且是一个二元逻辑運算符。如果其两个变量的真值都为“真”,其结果为“真”,否则其结果为“假”。 基本符号: ∧ {\displaystyle \land } 英文名:logical conjunction 中文名:逻辑与,合取,交集,按位与,逻辑乘,与门,......
8 KB (1,128 words) - 02:30, 8 July 2023
参与逻辑运算的变量叫逻辑变量,用字母A,B……表示。每个变量的取值非0 即1。 0、1不表示数的大小,而是代表两种不同的逻辑状态。 正、负逻辑规定: 正逻辑体制规定:高电平为逻辑1,低电平为逻辑0。 负逻辑体制规定:低电平为逻辑1,高电平为逻辑0。 逻辑函数:如果有若干个逻辑...
13 KB (1,807 words) - 15:42, 5 April 2024