'''''[[불_대수,Boolean_algebra]]'''''와 어떤관계??
 boolean logic과 boolean algebra의 차이??
 difference between boolean logic and boolean algebra ? Ggl:"difference between boolean logic and boolean algebra"
 foldoc: "A logic based on Boolean algebra."

boolean logic과 digital logic의 차이?
기반이론이 boolean logic이고
실제로 circuit_design, [[논리게이트,logic_gate]], 이런거 만드는데 응용되고 Karnaugh_map 나오고 그러면 digital logic 이런거??

[[명제논리,propositional_logic]]와?
 상당히 비슷한 듯. 정확한 관계 study and tbw. Google:propositional.logic+boolean.logic

----
mklink
[[논리회로,logic_gate]]
[[진리표,truth_table]]
[[수리논리,mathematical_logic]]
[[불_식,Boolean_expression]]
[[논리연산,logical_operation]] [[논리연산자,logical_operator]]
 논리곱 logical_conjunction or conjunction
 논리합 [[논리합,logical_disjunction]] or disjunction
 etc
[[명제논리,propositional_logic]] (≃ [[영차논리,zeroth-order_logic]] ≃ [[문장논리,sentential_logic]])
[[술어논리,predicate_logic]] (≃ [[일차논리,first-order_logic]])
[[이차논리,second-order_logic]]
[[고차논리,higher-order_logic]] (HOL)
 [[WpKo:고차_논리]]
 [[WpEn:Higher-order_logic]]
 https://ncatlab.org/nlab/show/higher-order+logic

= Non-Boolean Logic =
Partial order and non-Boolean logic
https://wordsandbuttons.online/partial_order_and_non_boolean_logic.html
// rel. [[부분순서,partial_order]]
... Ggl:"non-Boolean logic"

= tmp bmks =
https://everything2.com/title/boolean+logic

----
Twins:
http://foldoc.org/Boolean+logic (short)
[[WpKo:불_논리]]

Up: [[논리,logic]]