Skip to main content

Discrete Math with SageMath: Learn math with open-source software

Chapter 10 Boolean Algebra

This chapter completes the preceding one by explaining how to ask Sage to decide whether a given lattice is a Boolean algebra. We also illustrate basic operations with Boolean functions.