진리표,truth_table

Difference between r1.12 and the current

@@ -17,25 +17,20 @@
연산자가 있다.
rel. [[논리연산,logical_operation]] [[논리연산자,logical_operator]]
----
관련. tolink.
MKL
[[표,table]]
[[RR:진리표,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으로 확장''(+일반화?)''한 것. WpEn:Many-valued_logic WpKo:다치_논리 }
[[WpKo:진릿값]]
[[https://terms.naver.com/entry.naver?docId=2426184&cid=60208&categoryId=60208 수학의 세계: 진리값]]
}
[[RR:진리집합]]
[[연결사,connective]]

----
Twins:
https://mathworld.wolfram.com/TruthTable.html
https://planetmath.org/truthtable
https://everything2.com/title/Truth+table
https://encyclopediaofmath.org/wiki/Truth_table
[[RR:진리표,truth_table]]

Up: [[논리,logic]]
[[논리,logic]] esp. [[불_논리,Boolean_logic]], and [[불_대수,Boolean_algebra]] ?



진리표에서 T는 참,true을, F는 거짓,false을 나타낸다.

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_gateWpEn:NXOR_gate와 같음) - Google:BASIC Eqv operator
IMP(WpEn:IMPLY_gate와 같음) - Google:BASIC Imp operator
연산자가 있다.
rel. 논리연산,logical_operation 논리연산자,logical_operator