Title: Boolean algebra with computer applications