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 operator
IMP(IMPLY_gate와 같음) - BASIC Imp operator
연산자가 있다.
rel. 논리연산,logical_operation 논리연산자,logical_operator
관련. tolink.
표,table
진리표,truth_table
논리,logic esp. 불_논리,Boolean_logic, and 불_대수,Boolean_algebra
진리값,truth_value
{
어떤 명제,proposition의 내용이 참인지 거짓인지를 나타내는 값.
표,table
진리표,truth_table
논리,logic esp. 불_논리,Boolean_logic, and 불_대수,Boolean_algebra
진리값,truth_value
{
어떤 명제,proposition의 내용이 참인지 거짓인지를 나타내는 값.
rel.
진리값이 두개보다 많은(즉 T F 말고 다른 게 있는) 명제논리,propositional_logic를 many-valued_logic = multivalued_logic 이라 한다. { (작성중) 이것은 고전적인 2-valued logic을 n>2인 n-valued logic으로 확장(+일반화?)한 것. Many-valued_logic 다치_논리 }
진리값이 두개보다 많은(즉 T F 말고 다른 게 있는) 명제논리,propositional_logic를 many-valued_logic = multivalued_logic 이라 한다. { (작성중) 이것은 고전적인 2-valued logic을 n>2인 n-valued logic으로 확장(+일반화?)한 것. Many-valued_logic 다치_논리 }
Twins:
https://planetmath.org/truthtable
https://everything2.com/title/Truth table
https://encyclopediaofmath.org/wiki/Truth_table
https://planetmath.org/truthtable
https://everything2.com/title/Truth table
https://encyclopediaofmath.org/wiki/Truth_table