Difference between r1.14 and the current
@@ -10,6 +10,7 @@
⊻ \veebar
이것의 [[부정,negation]]은 [[logical_biconditional]] { WpEn:Logical_biconditional }
WpEn:Exclusive_or = https://en.wikipedia.org/wiki/Exclusive_or
NNOR
http://oeis.org/wiki/Logical_NNOR
이것의 [[부정,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
@@ -28,6 +29,7 @@
QQQ
이것들 모두 [[논리연결사,logical_connective]], [[불_연산,Boolean_operation]] 와 equivalent? WpKo 첫 문장: "논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은"
[[Date(2024-06-24T06:27:37)]] [[논리연결사,logical_connective]] [[논리연산자,logical_operator]] [[논리연산,logical_operation]] 이것들 모두 equivalent.. 같은 개념 (이건 처음부터 당연하지만, 명백하고 extensive한 비교는 tbw.)
----
MKLINK
@@ -60,3 +62,8 @@
부정논리합 NOR ⊽
배타적논리합 XOR ⊻ // exclusive or
}
배타적논리합 XOR ⊻ // exclusive or
}
= mk table =
||symbol ||짧은단어? || 긴단어? ||
||∨ ||OR (inclusive or) ||disjunction ||
conjunction logical_conjunction AND
NOR
tautology, true
이것들 모두 논리연결사,logical_connective, 불_연산,Boolean_operation 와 equivalent? WpKo 첫 문장: "논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은"
∧ \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⊻ \veebar
이것의 부정,negation은 logical_biconditional { Logical_biconditional }
Exclusive_or = https://en.wikipedia.org/wiki/Exclusive_or
Exclusive_disjunction = https://simple.wikipedia.org/wiki/Exclusive_disjunction
NOR
tautology, true
⊤ \top
contradiction⊥ \bot
QQQ이것들 모두 논리연결사,logical_connective, 불_연산,Boolean_operation 와 equivalent? WpKo 첫 문장: "논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은"
2024-06-24 논리연결사,logical_connective 논리연산자,logical_operator 논리연산,logical_operation 이것들 모두 equivalent.. 같은 개념 (이건 처음부터 당연하지만, 명백하고 extensive한 비교는 tbw.)
MKLINK
논리연산자,logical_operator
연산,operation (curr. 연산,operation#s-3)
논리게이트,logic_gate
논리연산자,logical_operator
연산,operation (curr. 연산,operation#s-3)
특히 집합연산,set_operation과 유사성이 많은데 저 페이지에 비교표 있음.
진리표,truth_table논리게이트,logic_gate
(wikiadmin) aka 논리연산,logic_operation ??
논리 연산
{
부정 NOT ¬ \neg
논리곱 AND ∧ \wedge
논리합 OR ∨ \vee // inclusive or
부정논리곱 NAND ⊼ \barwedge
부정논리합 NOR ⊽
배타적논리합 XOR ⊻ // exclusive or
}
논리 연산
{
부정 NOT ¬ \neg
논리곱 AND ∧ \wedge
논리합 OR ∨ \vee // inclusive or
부정논리곱 NAND ⊼ \barwedge
부정논리합 NOR ⊽
배타적논리합 XOR ⊻ // exclusive or
}