Title: Boolean algebra and its application, including Boolean matrix algebra