논리연산자,logical_operator


논리(논리학,logic)쪽에선 그럼 연산자,operator연결사,connective가 완전 동일?
AKA Boolean_operator ?

연산의 정의역,domainBoolean_domain ? { F, T } ?

table
그리고 AND 논리곱 logical_product logical_conjunction
또는 OR 논리합 logical_sum logical_disjunction
NOT 논리부정 logical_negation 부정,negation
함의,implication

그리고,and 또는,or 아니오,not page mk? 이상한데.

2023-06-29
logical- ,logic set, set theory
AND 논리곱,logical_conjunction ... WpKo:논리곱 WpEn:Logical_conjunction 교집합,set_intersection or 교집합,intersection ... WpKo:교집합 WpEn:Intersection_(set_theory)
OR 논리합,logical_disjunction ... WpEn:Disjunction_(logical_connective) 합집합,set_union or 합집합,union ... WpKo:합집합 WpEn:Union_(set_theory)
NOT 부정,negation 여집합 complement or set_complement or set_complementation ... WpKo:여집합 WpEn:Complement_(set_theory)
NOR 부정논리합 ... WpKo:부정논리합 WpEn:Logical_NOR
NAND 부정논리곱 ... WpKo:부정논리곱 WpEn:Sheffer_stroke
XOR
NOTSURE, CHK
그리고 해당하는 gates - 논리게이트,logic_gate(curr. 논리게이트logic_gate) - 위 순서대로 하지 않았음, 나중에 정렬.
WpKo:OR_게이트 WpEn:OR_gate 0111
WpKo:NAND_게이트 WpEn:NAND_gate 1110
WpKo:XNOR_게이트 WpEn:XNOR_gate 1001
WpKo:XOR_게이트 WpEn:XOR_gate 0110
WpKo:NOT_게이트 WpEn:Inverter_(logic_gate)
WpKo:NOR_게이트 WpEn:NOR_gate 1000
WpKo:AND_게이트 WpEn:AND_gate 0001
(no wpko) WpEn:IMPLY_gate 1101
(no wpko) WpEn:NIMPLY_gate 0010

NAND_logic ... WpEn:NAND_logic
NOR_logic ... WpEn:NOR_logic

conjunction의 피연산자,operand는 conjunct.[1] QQQ 번역은? Naver:conjunct


----