Difference between r1.11 and the current

@@ -10,6 +10,7 @@

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

WpSp:Exclusive_disjunction = https://simple.wikipedia.org/wiki/Exclusive_disjunction

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

@@ -33,9 +34,9 @@

MKLINK
[[논리연산자,logical_operator]]
[[연산,operation]] (curr. [[VG:연산,operation#s-3]])

특히 [[집합연산,set_operation]]과 유사성이 많은데 저 페이지에 비교표 있음.

[[진리표,truth_table]]
[[논리게이트,logic_gate]]

~~[[집합연산,set_operation]]과 유사성이 많은데~~

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

@@ -44,6 +45,24 @@

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

}

= mk table =

||symbol ||짧은단어? || 긴단어? ||

||∨ ||OR (inclusive or) ||disjunction ||

conjunction logical_conjunction AND

∧ \wedge

disjunction logical_disjunction OR (inclusive_disjunction)

∨ \vee

exclusive_disjunction (XOR) exclusive_or

⊕ \oplus
⊻ \veebar
이것의 부정,negation은 logical_biconditional {

Logical_biconditional }

Exclusive_or = https://en.wikipedia.org/wiki/Exclusive_or

Exclusive_disjunction = https://simple.wikipedia.org/wiki/Exclusive_disjunction

NNOR

http://oeis.org/wiki/Logical_NNOR

NOR

부정논리합

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.