Day 26: mat385

• Section 7.1 homework returned
  • #3:

    There are 2⁴=16 functions from S² into S.

    You all really don't like proving things, do you?;)

    Proof by exhaustion works here in every case, but you may be exhausted by the time you're done. You simply need to verify the properties of Boolean algebras are satisfied.

    You may make assumptions about the properties of max/min (e.g. that they're commutative, for example).

  • 5: use duality to "prove" the other half!
  • 11

• Section 7.2 homework due today(?)

Then we started work on section 7.3: Minimization

We'll finish that today, then