논리연산,logical_operation을 나타내는 연산자,operator?
논리연결사,logical_connective와 완전히 같은 뜻인듯?

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

연산의 정의역,domain은 Boolean_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 ... 논리곱 Logical_conjunction	교집합,set_intersection or 교집합,intersection ... 교집합 Intersection_(set_theory)
OR	논리합,logical_disjunction ... Disjunction_(logical_connective)	합집합,set_union or 합집합,union ... 합집합 Union_(set_theory)
NOT	부정,negation	여집합 complement or set_complement or set_complementation ... 여집합 Complement_(set_theory)
NOR	부정논리합 ... 부정논리합 Logical_NOR
NAND	부정논리곱 ... 부정논리곱 Sheffer_stroke
XOR

NOTSURE, CHK
그리고 해당하는 gates - 논리게이트,logic_gate(curr. 논리게이트logic_gate) - 위 순서대로 하지 않았음, 나중에 정렬.
OR_게이트 OR_gate 0111
NAND_게이트 NAND_gate 1110
XNOR_게이트 XNOR_gate 1001
XOR_게이트 XOR_gate 0110
NOT_게이트 Inverter_(logic_gate)
NOR_게이트 NOR_gate 1000
AND_게이트 AND_gate 0001
(no wpko) IMPLY_gate 1101
(no wpko) NIMPLY_gate 0010

NAND_logic ... NAND_logic
NOR_logic ... NOR_logic

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

MKLINK
참,true
거짓,false
진리,truth
진리표,truth_table - 진리표,truth_table
진리값,truth_value - 진리값,truth_value
명제,proposition
진리집합
de_Morgan_law
Venn_diagram

Up: 연산자,operator