12
Boolean Algebras (con’t)
•
Definition
2.
A BA is an algebra
(A,
[
,
Å
,
?
,
>
,
) s.t.
•
[
,
Å
= commutative, associative, idempotent,
distributive
•
x
Å
?
=
?
,
x
[
?
= x,
x
Å
>
=
x,
x
[
>
=
>
•
x
Å
x
=
?
,
x
[
x
=
>