Difference between r1.5 and the current
@@ -4,6 +4,9 @@
trivial Boolean algebra /or/ degenerate Boolean algebra
{
[[https://en.wikipedia.org/wiki/Boolean_algebra_(structure)#:~:text=A%20Boolean%20algebra%20with%20only%20one%20element%20is%20called%20a%20trivial%20Boolean%20algebra%20or%20a%20degenerate%20Boolean%20algebra. 오직 한 원소만 가진]] 불 대수.
----
FORK FROM 불_함수,Boolean_function
{
[[https://en.wikipedia.org/wiki/Boolean_algebra_(structure)#:~:text=A%20Boolean%20algebra%20with%20only%20one%20element%20is%20called%20a%20trivial%20Boolean%20algebra%20or%20a%20degenerate%20Boolean%20algebra. 오직 한 원소만 가진]] 불 대수.
https://proofwiki.org/wiki/Definition:Degenerate_Boolean_Algebra
MKL degenerate_set singleton
}----
FORK FROM 불_함수,Boolean_function
@@ -11,6 +14,7 @@
MKL
[[불_식,Boolean_expression]]
[[불_함수,Boolean_function]]
[[표현,representation]]:
AND를 [[곱셈,multiplication]] 형식으로 표현하며,
[[불_식,Boolean_expression]]
[[불_함수,Boolean_function]]
[[불_변수,Boolean_variable]]
[[표현,representation]]:
AND를 [[곱셈,multiplication]] 형식으로 표현하며,
Sub: (hypo)
trivial Boolean algebra /or/ degenerate Boolean algebra
{
오직 한 원소만 가진 불 대수.
https://proofwiki.org/wiki/Definition:Degenerate_Boolean_Algebra
trivial Boolean algebra /or/ degenerate Boolean algebra
{
오직 한 원소만 가진 불 대수.
https://proofwiki.org/wiki/Definition:Degenerate_Boolean_Algebra
MKL degenerate_set singleton
}
}
FORK FROM 불_함수,Boolean_function
{
MKL
불_식,Boolean_expression
불_함수,Boolean_function
불_변수,Boolean_variable
{
MKL
불_식,Boolean_expression
불_함수,Boolean_function
불_변수,Boolean_variable
표현,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 |
(괄호는 동일) |