Describir: Boolean algebra with computer applications.