CS Behind the Curtain (CS195 2003S)

Homework 3: Simple Boolean Proofs

Summary: In this assignment, you will futher your understanding of some laws and rules involved in proof with Boolean expressions.

Assigned: Tuesday, 28 January 2003.

Due: Friday, 31 January 2003.

Collaboration: You may discuss this assignment with anyone you wish. However, each student should write up his or her solution alone.

Submitting Your Work: Type your work electronically and submit it via the ECA. If you can't get it to work, email me your source code.


Do problems 3, 5, 7, and 8 on pp. 26 and 27 of Gries.



Tuesday, 28 January 2003 [Samuel A. Rebelsky]

Wednesday, 29 January 2003 [Samuel A. Rebelsky]


Disclaimer: I usually create these pages on the fly, which means that I rarely proofread them and they may contain bad grammar and incorrect details. It also means that I tend to update them regularly (see the history for more details). Feel free to contact me with any suggestions for changes.

This document was generated by Siteweaver on Fri May 2 14:19:36 2003.
The source to the document was last modified on Wed Jan 29 13:22:18 2003.
This document may be found at http://www.cs.grinnell.edu/~rebelsky/Courses/CS195/2003S/Homework/hw.03.html.

You may wish to validate this document's HTML ; Valid CSS! ; Check with Bobby

Samuel A. Rebelsky, rebelsky@grinnell.edu