Difference between r1.13 and the current
@@ -17,18 +17,20 @@
연산자가 있다.rel. [[논리연산,logical_operation]] [[논리연산자,logical_operator]]
----
MKL
[[표,table]][[RR:진리집합]]
[[연결사,connective]]
----
Twins:https://mathworld.wolfram.com/TruthTable.html
https://planetmath.org/truthtablehttps://everything2.com/title/Truth+table
https://encyclopediaofmath.org/wiki/Truth_table
[[RR:진리표,truth_table]]
Up: [[논리,logic]]
[[논리,logic]] esp. [[불_논리,Boolean_logic]], and [[불_대수,Boolean_algebra]] ?
| P | ¬P |
| T | F |
| F | T |
| P | Q | P∧Q | P∨Q | P⇒Q | P⇔Q |
| T | T | T | T | T | T |
| T | F | F | T | F | F |
| F | T | F | T | T | F |
| F | F | F | F | T | T |
BASIC PL에는 (AND OR NOT XOR 는 뻔하므로 생략하고)
EQV(논리게이트,logic_gate의
NXOR_gate와 같음) - 
BASIC Eqv operator
IMP(IMPLY_gate와 같음) - BASIC Imp operator
연산자가 있다.
rel. 논리연산,logical_operation 논리연산자,logical_operator
EQV(논리게이트,logic_gate의
NXOR_gate와 같음) - BASIC Eqv operatorIMP(
IMPLY_gate와 같음) - BASIC Imp operator연산자가 있다.
rel. 논리연산,logical_operation 논리연산자,logical_operator
Twins:
https://mathworld.wolfram.com/TruthTable.html
https://planetmath.org/truthtable
https://everything2.com/title/Truth table
https://encyclopediaofmath.org/wiki/Truth_table
진리표,truth_table
https://mathworld.wolfram.com/TruthTable.html
https://planetmath.org/truthtable
https://everything2.com/title/Truth table
https://encyclopediaofmath.org/wiki/Truth_table
진리표,truth_table