Boolean_algebra_expression(이거랑 syn?) 을 간단히 하는 방법 : Karnaugh_map =,Karnaugh_map . Karnaugh_map { 
Karnaugh_map 
Karnaugh_map ... 
카르노맵 
카르노맵 Up: 맵,map? 단순화,simplification(writing) }
Karnaugh_map Karnaugh_map ... 카르노맵 카르노맵 Up: 맵,map? 단순화,simplification(writing) }todo mk table... 임시
| conjunction | disjunction | negation | |
| AND | OR | NOT | |
| && | || | ! | |
| BINARY | BINARY | UNARY |
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_algebra =,Boolean_algebra . Boolean_algebraBoolean algebra
Boolean_algebrahttps://simple.wikipedia.org/wiki/Boolean_algebra
Up: 대수,algebra? 대수학,algebra?
Boolean algebra Boolean algebraGeorge_Boole
불_논리,Boolean_logic................. curr at 불_논리,Boolean_logic =,Boolean_logic . Boolean_logic Boolean_logic
{
Boolean logic
불_논리,Boolean_logic =,Boolean_logic . Boolean_logic Boolean_logic{
Boolean logic
불 논리 = https://namu.wiki/w/불 논리?from=불 대수
불_논리 = https://ko.wikipedia.org/wiki/불_논리
Boolean_logic = https://simple.wikipedia.org/wiki/Boolean_algebrahttp://en.citizendium.org/wiki/Boolean_algebra
Boolean_logicmkl: Boolean_algebra George_Boole Boolean_satisfiability Boolean_satisfiability_problem
Up: 논리,logic? {논리,logic exists } 논리학,logic?
} // Boolean logic ...Boolean logic Boolean logic
Up: 논리,logic? {
논리,logic exists } 논리학,logic?} // Boolean logic ...
Boolean logic Boolean logic공통내용: ..........................................................................
단어/표현/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
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/Implicantimplicant implicantprime_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
{
prime implicant
prime_implicant = https://en.wiktionary.org/wiki/prime_implicantPrime_implicant} // prime implicant ...
prime implicant prime implicant prime implicant prime implicantessential_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
{
essential prime implicant
essential_prime_implicant = https://en.wiktionary.org/wiki/essential_prime_implicant} // essential prime implicant ...
essential prime implicant essential prime implicantnon-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
{
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 implicantqqq misc ¶
리듀스,Reduce manual 3.3 Boolean Expressions ( http://www.reduce-algebra.com/manual/manualse10.html#x16-180003.3 )
evenp(u) determines if the number u is even or not; fixp(u) determines if the expression u is integer or not; freeof(u,v) determines if the expression u does not contain the kernel v anywhere in its structure; numberp(u) determines if u is a number or not; ordp(u,v) determines if u is ordered ahead of v by some canonical ordering (based on the expression structure and an internal ordering of identifiers); primep(u) true if u is a prime object, i.e., any object other than 0 and plus or minus 1 which is only exactly divisible by itself or a unit.이런데, -p suffix는 Lisp의 그거랑 same etymology??? chk
Twins:
...
"Boolean expression"
Boolean expression Boolean expression 
Boolean expression Boolean expression Boolean expression
"Boolean expression"
Boolean expression Boolean expression Boolean expression Boolean expression Boolean expression(QQQ 이름,name) pagename 영어표현 capitalization에 대해. 'boolean_' 해도 되나? 저렇게 사람 이름이 라틴어화되면 보통 소문자로도 쓰이는 것 같던데(not sure) .... Abel - Abelian은 abelian / Descartes - Cartesian은 cartesian 이건 확실히 많이 보임. .... Gauss - Gaussian은 gaussian / .... 근데 항상은 아님, capitalize한 경우도 보았고. - 기준이 어떻게 되나? abelian cartesian ...(And?)
abelian cartesian ...(And?)