diff --git a/Discrete-Math-with-SageMath.pdf b/Discrete-Math-with-SageMath.pdf new file mode 100644 index 00000000..ccb1e0a3 Binary files /dev/null and b/Discrete-Math-with-SageMath.pdf differ diff --git a/source/boolean-algebra/sec-boolean-algebra.ptx b/source/boolean-algebra/sec-boolean-algebra.ptx index cfebfdd2..38f38bc0 100644 --- a/source/boolean-algebra/sec-boolean-algebra.ptx +++ b/source/boolean-algebra/sec-boolean-algebra.ptx @@ -1,10 +1,7 @@
Boolean Algebra

- Boolean algebra is the algebra of two-valued logic with only sentential connectives, or equivalently of algebras of sets under union and complementation. -

-

- A common structure analyzed in Boolean algebra is the lattice. Below, we show how to work with a divisor lattice, which is a specific type of lattice useful in various mathematical computations. + A Boolean algebra is a bounded lattice that is both complemented and distributive.