#noindex
conjunction logical_conjunction AND
 ∧ \wedge

disjunction logical_disjunction OR (inclusive_disjunction)
 ∨ \vee

exclusive_disjunction (XOR) exclusive_or
 ⊕ \oplus
 ⊻ \veebar
 이것의 [[부정,negation]]은 [[logical_biconditional]] { WpEn:Logical_biconditional }
 WpEn:Exclusive_or = https://en.wikipedia.org/wiki/Exclusive_or

NNOR
 http://oeis.org/wiki/Logical_NNOR

NOR
 WpKo:부정논리합
 WpEn:Logical_NOR
  = https://en.wikipedia.org/wiki/Logical_NOR
  aka joint_denial

tautology, true
 ⊤ \top

contradiction
 ⊥ \bot

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

----
MKLINK
[[논리연산자,logical_operator]]
[[연산,operation]] (curr. [[VG:연산,operation#s-3]])
 특히 [[집합연산,set_operation]]과 유사성이 많은데 저 페이지에 비교표 있음.
[[진리표,truth_table]]
[[논리게이트,logic_gate]]

cmp: [[산술연산,arithmetic_operation]]과

Twins:
WpKo:논리_연산

Up: [[논리학,logic]] [[연산,operation]]

----
(wikiadmin) aka [[논리연산,logic_operation]] ??
 WtEn:logic_operation
 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
}