Boolean_algebra_expression(이거랑 syn?) 을 간단히 하는 방법 : Karnaugh_map =,Karnaugh_map . Karnaugh_map { Karnaugh_map Karnaugh_map ... 카르노맵 카르노맵 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 불_대수,Boolean_algebra =,Boolean_algebra . Boolean_algebra
Boolean algebra
Boolean_algebra
https://simple.wikipedia.org/wiki/Boolean_algebra
Up: 대수,algebra? 대수학,algebra?
Boolean algebra Boolean algebra
George_Boole

불_논리,Boolean_logic................. curr at 불_논리,Boolean_logic =,Boolean_logic . Boolean_logic Boolean_logic
{
Boolean logic

Boolean_logic = https://en.wiktionary.org/wiki/Boolean_logic

불 논리 = https://namu.wiki/w/불 논리?from=불 대수
불_논리 = https://ko.wikipedia.org/wiki/불_논리
Boolean_logic = https://simple.wikipedia.org/wiki/Boolean_algebra
http://en.citizendium.org/wiki/Boolean_algebra
Boolean_logic

mkl: Boolean_algebra George_Boole Boolean_satisfiability Boolean_satisfiability_problem
Up: 논리,logic? { 논리,logic exists } 논리학,logic?
} // Boolean logic ... Boolean logic Boolean logic

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

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

단어/표현/Topics

implicant
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 { product_term - 없음(2023-08-04) ... product term product term 리터럴,literal의 conjunction? chk } (i.e., a conjunction of literals) P is an implicant of a Boolean function ..."
Implicant = https://en.wikipedia.org/wiki/Implicant
implicant implicant

prime_implicant =,prime_implicant . prime_implicant
{
prime implicant
prime_implicant = https://en.wiktionary.org/wiki/prime_implicant
Prime_implicant
} // prime implicant ... prime implicant prime implicant prime implicant prime implicant

essential_prime_implicant =,essential_prime_implicant . essential_prime_implicant
{
essential prime implicant
essential_prime_implicant = https://en.wiktionary.org/wiki/essential_prime_implicant
} // essential prime implicant ... essential prime implicant essential prime implicant

non-essential_prime_implicant =,non-essential_prime_implicant . non-essential_prime_implicant
{
non-essential prime implicant
non-essential_prime_implicant = https://en.wiktionary.org/wiki/non-essential_prime_implicant
} // non-essential prime implicant .... non-essential prime implicant non-essential prime implicant

} // implicant .... 논리학 implicant 논리학 implicant

Twins:

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

Boolean_expression
= https://simple.wikipedia.org/wiki/Boolean_expression

Boolean_expression
= https://en.wikipedia.org/wiki/Boolean_expression

...
"Boolean expression"
Boolean expression Boolean expression Boolean expression Boolean expression Boolean expression

MKL
명제식 =명제식, { 명제식 명제식 명제식 }
논리식 =논리식, { 논리식 논리식 논리식 }

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