Difference between r1.1 and the current
@@ -25,7 +25,7 @@
[[클레이니_대수,Kleene_algebra]]
https://en.wiktionary.org/wiki/Kleene_algebra
https://en.wikipedia.org/wiki/Kleene_algebra
MKL
https://en.wiktionary.org/wiki/Kleene_algebra
https://en.wikipedia.org/wiki/Kleene_algebra
"is an idempotent([[멱등성,idempotence]] and thus partially ordered([[부분순서,partial_order]])) semiring { WtEn:semiring Ggl:semiring } endowed with a [[폐포연산자,closure_operator]]{ WtEn:closure_operator WpEn:Closure_operator [[폐포,closure]] [[연산자,operator]] }. "
"is an idempotent([[멱등성,idempotence]] and thus partially ordered([[부분순서,partial_order]])) semiring { WtEn:semiring Ggl:semiring } endowed with a [[폐포연산자,closure_operator]]{ WtEn:closure_operator WpEn:Closure_operator WpKo:폐포_연산자 WpKo:분류:폐포_연산자 [[폐포,closure]] [[연산자,operator]] Rel. [[폐포연산,closure_operation]] }. "
}MKL
표현,representation:
AND를 곱셈,multiplication 형식으로 표현하며,
OR을 덧셈,addition형식으로 표현한다.
혹시 이거?
}
AND를 곱셈,multiplication 형식으로 표현하며,
OR을 덧셈,addition형식으로 표현한다.
혹시 이거?
| Boolean logic | Boolean algebra |
| AND | · |
| OR | + |
| NOT/neg (unary prefix operator) | prime(unary postfix operator) or bar |
| (괄호는 동일) | |
Up(hyper):
클레이니_대수,Kleene_algebra
}https://en.wiktionary.org/wiki/Kleene_algebra
https://en.wikipedia.org/wiki/Kleene_algebra
https://en.wikipedia.org/wiki/Kleene_algebra
"is an idempotent(멱등성,idempotence and thus partially ordered(부분순서,partial_order)) semiring { 
semiring 
semiring } endowed with a 폐포연산자,closure_operator{ closure_operator 
Closure_operator 
폐포_연산자 분류:폐포_연산자 폐포,closure 연산자,operator Rel. 폐포연산,closure_operation }. "
semiring semiring } endowed with a 폐포연산자,closure_operator{ closure_operator Closure_operator 폐포_연산자 분류:폐포_연산자 폐포,closure 연산자,operator Rel. 폐포연산,closure_operation }. "