'''진리표'''에서 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_gate]]의 [[WpEn:NXOR_gate]]와 같음) - Google:BASIC+Eqv+operator
IMP([[WpEn:IMPLY_gate]]와 같음) - Google:BASIC+Imp+operator
연산자가 있다.
rel. [[논리연산,logical_operation]] [[논리연산자,logical_operator]]
----
MKL
[[표,table]]
[[진리값,truth_value]]
[[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]] ?