Himanshu Nautiyal (nautiyal@calvin.cs.washington.edu)
Fri, 24 Jan 1997 00:31:34 -0800 (PST)

Hi,
Here are things I noticed/wanted to talk about in hw 2.

2.10 b This required you to show each application of DeMorgan's in a
separate stage. There is a generalized law which gives the answer in one
step but we have not done that in class.

prob 4. Using the dual when converting from one Boolean to another is
pointless. Duality takes you from one EQUALITY to another, not from one
side of an equality to the other side. Of course, since we are more
conditioned to thinking of * distributing over + but not + distributing
over * (both hold for Boolean algebra), the dual may be more intuitive to
prove (but the proof is the same length, never shorter/simpler).

prob 6. Remember that the ith Maxterm has the converse terms negated to
those in the ith minterm. e.g. for f(A,B,C,D)
m_11 = (A + !B + C + D)
M_11 = (!A + B + !C + !D)
where ! is for the complement.

Himanshu Nautiyal
http://www.cs.washington.edu/homes/nautiyal