불_식,Boolean_expression

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 ORNOT
&& || !
BINARY BINARY UNARY



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


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




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


단어/표현/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 - 없음(2023-08-04) ... Ndict:product term Google:product term 리터럴,literalconjunction? 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



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


qqq 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:






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