논리연산,logical_operation

Difference between r1.13 and the current

@@ -50,3 +50,13 @@
WtEn:logical_operation
Ggl:"logic operation vs logical operation"
Ggl:"logic vs logical difference"
 
Namu:논리%20연산
{
부정 NOT ¬ \neg
논리곱 AND ∧ \wedge
논리합 OR ∨ \vee // inclusive or
부정논리곱 NAND ⊼ \barwedge
부정논리합 NOR ⊽
배타적논리합 XOR ⊻ // exclusive or
}



conjunction logical_conjunction AND
∧ \wedge

disjunction logical_disjunction OR (inclusive_disjunction)
∨ \vee

exclusive_disjunction (XOR) exclusive_or
NNOR
NOR
tautology, true
⊤ \top

contradiction
⊥ \bot

QQQ
이것들 모두 논리연결사,logical_connective, 불_연산,Boolean_operation 와 equivalent? WpKo 첫 문장: "논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은"







(wikiadmin) aka 논리연산,logic_operation ??
Namu:논리 연산
{
부정 NOT ¬ \neg
논리곱 AND ∧ \wedge
논리합 OR ∨ \vee // inclusive or
부정논리곱 NAND ⊼ \barwedge
부정논리합 NOR ⊽
배타적논리합 XOR ⊻ // exclusive or
}