Boolean_algebra_expression(이거랑 syn?) 을 간단히 하는 방법 : [[Karnaugh_map]] =,Karnaugh_map . Karnaugh_map { WtEn:Karnaugh_map WpEn:Karnaugh_map ... Naver:카르노맵 Google:카르노맵 Up: [[맵,map]]? [[단순화,simplification]](writing) }
----
todo mk table... 임시
|| ||conjunction ||disjunction ||negation ||
|| ||AND ||OR||NOT||
|| ||&& |||| ||! ||
|| ||BINARY ||BINARY ||UNARY ||
----
MKL
[[불_함수,Boolean_function]]

Up:
[[식,expression]]

[[불_대수,Boolean_algebra]] [[불_논리,Boolean_logic]]
{ 위 둘에 공통되는게 너무 많다.....

Boolean algebra............... curr at [[VG:불_대수,Boolean_algebra]] =,Boolean_algebra . Boolean_algebra
'''Boolean algebra'''
WtEn:Boolean_algebra
https://simple.wikipedia.org/wiki/Boolean_algebra
Up: [[대수,algebra]]? [[대수학,algebra]]?
NN:"Boolean algebra" Ggl:"Boolean algebra"
[[George_Boole]]

[[불_논리,Boolean_logic]]................. curr at [[VG:불_논리,Boolean_logic]] =,Boolean_logic . Boolean_logic WtEn:Boolean_logic
{
'''Boolean logic'''

[[WtEn:Boolean_logic]] = https://en.wiktionary.org/wiki/Boolean_logic

[[Namu:불%20논리]] = https://namu.wiki/w/불%20논리?from=불%20대수
[[WpKo:불_논리]] = https://ko.wikipedia.org/wiki/불_논리
[[WpSp:Boolean_logic]] = https://simple.wikipedia.org/wiki/Boolean_algebra
http://en.citizendium.org/wiki/Boolean_algebra
[[WpEn:Boolean_logic]]

mkl: [[Boolean_algebra]] [[George_Boole]] [[Boolean_satisfiability]] [[Boolean_satisfiability_problem]] 
Up: [[논리,logic]]? { [[VG:논리,logic]] exists } [[논리학,logic]]?
} // Boolean logic ... NN:"Boolean logic" Ggl:"Boolean logic"

공통내용: ..........................................................................

Sub:
[[불_식,Boolean_expression]] - [[식,expression]] ...[[수식,mathematical_expression]]?

단어/표현/Topics

implicant
[[WtEn:implicant]] = https://en.wiktionary.org/wiki/implicant
//we: "In [[불_논리,Boolean_logic]], the term '''implicant''' has either a generic or a particular meaning.
In the generic use, it refers to the hypothesis([[가설,hypothesis]]?) of an implication([[함의,implication]]? 함축?) (implicant).
In the particular use, a [[product_term]] { WtEn:product_term - 없음([[Date(2023-08-03T17:41:04)]]) ... Ndict:product+term Google:product+term [[리터럴,literal]]의 [[conjunction]]? chk } (i.e., a conjunction of literals) P is an implicant of a Boolean function ..."
[[WpEn:Implicant]] = https://en.wikipedia.org/wiki/Implicant
Ndict:implicant NdEn:implicant


[[prime_implicant]] =,prime_implicant . prime_implicant
{
'''prime implicant'''
[[WtEn:prime_implicant]] = https://en.wiktionary.org/wiki/prime_implicant
[[WpEn:Prime_implicant]]
} // prime implicant ... Ggl:"prime implicant" Ndict:"prime implicant" Naver:"prime implicant" Bing:"prime implicant"

[[essential_prime_implicant]] =,essential_prime_implicant . essential_prime_implicant
{
'''essential prime implicant'''
[[WtEn:essential_prime_implicant]] = https://en.wiktionary.org/wiki/essential_prime_implicant
} // essential prime implicant ... Ggl:"essential prime implicant" Naver:"essential prime implicant"

[[non-essential_prime_implicant]] =,non-essential_prime_implicant . non-essential_prime_implicant
{
'''non-essential prime implicant'''
[[WtEn:non-essential_prime_implicant]] = https://en.wiktionary.org/wiki/non-essential_prime_implicant
} // non-essential prime implicant .... Ggl:"non-essential prime implicant" Naver:"non-essential prime implicant"

} // implicant .... Google:논리학+implicant Naver:논리학+implicant


----
Twins:

https://xlinux.nist.gov/dads/HTML/booleanexpr.html

[[WpSp:Boolean_expression]]
= https://simple.wikipedia.org/wiki/Boolean_expression

[[WpEn:Boolean_expression]]
= https://en.wikipedia.org/wiki/Boolean_expression

...
"Boolean expression"
Ggl:"Boolean expression" Bing:"Boolean expression" Ddg:"Boolean expression" Ndict:"Boolean expression" Naver:"Boolean expression"

MKL
[[명제식]] =명제식, { Ggl:명제식 Bing:명제식 Ndict:명제식 }
[[논리식]] =논리식, { Ggl:논리식 Bing:논리식 Ndict:논리식 }

(QQQ [[이름,name]]) ''pagename 영어표현 capitalization에 대해. 'boolean_' 해도 되나? 저렇게 사람 이름이 라틴어화되면 보통 소문자로도 쓰이는 것 같던데(not sure) .... Abel - Abelian은 abelian / Descartes - Cartesian은 cartesian 이건 확실히 많이 보임. .... Gauss - Gaussian은 gaussian / .... 근데 항상은 아님, capitalize한 경우도 보았고. - 기준이 어떻게 되나? WtEn:abelian WtEn:cartesian ...(And?) ''