逻辑或又称逻辑析取、逻辑选言，是逻辑和数学概念中的一个二元逻辑算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。
2
在数学和数理逻辑中，逻辑代数是抽象代数的一个分支，其变量的值仅为真和假两种真值。初等代数中变量的值是数字，而且主要的运算是加法、乘法和乘方，而逻辑代数的主要运算有合取与，记为∧；逻辑或或 ，记为∨；否定非 ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。
当且仅当，在数位逻辑中，逻辑运算符反互斥或闸是对两个运算元的一种逻辑或类型，符号为XNOR或ENOR或
⇔
{\displaystyle \Leftrightarrow }
。与一般的逻辑或非NOR不同，当两两数值相同为是，而数值不同时为否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在这个条件成立，并且仅在这个条件成立时”之意。命题
p
,
q
{\displaystyle p,q}
满足“
p
{\displaystyle p}
则
q
{\displaystyle q}
”且“仅当
p
{\displaystyle p}
则
q
{\displaystyle q}
”时，称为“当且仅当
p
{\displaystyle p}
则
q
{\displaystyle q}
”，其他等价关系的说法有“
q
{\displaystyle q}
当且仅当
p
{\displaystyle p}
”；“
p
{\displaystyle p}
是
q
{\displaystyle q}
的充分必要条件”；“
p
{\displaystyle p}
等价于
q
{\displaystyle q}
”。
在逻辑中，逻辑运算符互斥或是对两个运算元的一种逻辑或类型。与一般的逻辑或不同，当两两数值相同时为否，而数值不同时为真。
当且仅当，在数位逻辑中，逻辑运算符反互斥或闸是对两个运算元的一种逻辑或类型，符号为XNOR或ENOR或
⇔
{\displaystyle \Leftrightarrow }
。与一般的逻辑或非NOR不同，当两两数值相同为是，而数值不同时为否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在这个条件成立，并且仅在这个条件成立时”之意。命题
p
,
q
{\displaystyle p,q}
满足“
p
{\displaystyle p}
则
q
{\displaystyle q}
”且“仅当
p
{\displaystyle p}
则
q
{\displaystyle q}
”时，称为“当且仅当
p
{\displaystyle p}
则
q
{\displaystyle q}
”，其他等价关系的说法有“
q
{\displaystyle q}
当且仅当
p
{\displaystyle p}
”；“
p
{\displaystyle p}
是
q
{\displaystyle q}
的充分必要条件”；“
p
{\displaystyle p}
等价于
q
{\displaystyle q}
”。
或非门是数字逻辑中实现逻辑或非的逻辑门，功能见右侧真值表。若输入均为低电平，则输出为高电平；若输入中至少有一个为高电平，则输出为低电平。或非是逻辑或加逻辑非得到的结果。或非是一种具有函数完备性的运算，因此其他任何逻辑函数都能用或非门实现。相比之下，逻辑或运算器是一种单调的运算器，其只能将低电平变为高电平，但不能将高电平变为低电平。
在布尔逻辑运算中，逻辑或非的结果是逻辑或的反面。也就是说，p NOR q真，当且仅当p与q都假时才成立。
或门是数字逻辑中实现逻辑或的逻辑门，功能见右侧真值表。只要两个输入中至少有一个为高电平，则输出为高电平；若两个输入均为低电平，输出才为低电平。换句话说，或门的功能是得到两个二进制数的最大值，而与门的功能是得到两个二进制数的最小值。
或门是数字逻辑中实现逻辑或的逻辑门，功能见右侧真值表。只要两个输入中至少有一个为高电平，则输出为高电平；若两个输入均为低电平，输出才为低电平。换句话说，或门的功能是得到两个二进制数的最大值，而与门的功能是得到两个二进制数的最小值。
在数学和数理逻辑中，逻辑代数是抽象代数的一个分支，其变量的值仅为真和假两种真值。初等代数中变量的值是数字，而且主要的运算是加法、乘法和乘方，而逻辑代数的主要运算有合取与，记为∧；逻辑或或 ，记为∨；否定非 ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。
或非门是数字逻辑中实现逻辑或非的逻辑门，功能见右侧真值表。若输入均为低电平，则输出为高电平；若输入中至少有一个为高电平，则输出为低电平。或非是逻辑或加逻辑非得到的结果。或非是一种具有函数完备性的运算，因此其他任何逻辑函数都能用或非门实现。相比之下，逻辑或运算器是一种单调的运算器，其只能将低电平变为高电平，但不能将高电平变为低电平。
Mini wiki
