Text this: Boolean algebra and its application, including Boolean matrix algebra.