This chapter offers an alternative to the widely-held view that boolean expressions are defined by how they are evaluated. Here, expressions are defined in terms of how they can be manipulated. Our goals are to convey a sense of how one manipulates boolean expressions and to teach heuristics and principles for developing proofs. By working out the exercises, the reader can develop a manipulative skill that will prove valuable in later work.
KeywordsInference Rule Propositional Calculus Truth Table Golden Rule Conjunctive Normal Form
Unable to display preview. Download preview PDF.