논리연산,logical_operation (rev. 1.12)
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
NNOR⊻ \veebar
이것의 부정,negation은 logical_biconditional {
Logical_biconditional }Exclusive_or = https://en.wikipedia.org/wiki/Exclusive_orNOR
tautology, true
⊤ \top
contradiction⊥ \bot
QQQ이것들 모두 논리연결사,logical_connective, 불_연산,Boolean_operation 와 equivalent? WpKo 첫 문장: "논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은"
MKLINK
논리연산자,logical_operator
연산,operation (curr.
연산,operation#s-3)
진리표,truth_table
논리게이트,logic_gate
집합연산,set_operation과 유사성이 많은데
논리연산자,logical_operator
연산,operation (curr.
연산,operation#s-3)진리표,truth_table
논리게이트,logic_gate
집합연산,set_operation과 유사성이 많은데
