SMS dit: Boolean algebra with computer applications.