Fragment of a discussion from Science talk:Math Exam Resources/Courses/MATH220/April 2011/Question 04
- ) ah yes, that should make it more easy. I'll simplify the proof with that. And as for the arrows, I don't think students will care much... the Rightarrow html equivalent is really ugly in the wiki font in my memory, but we can make the changes if you think it's important.
Actually, the solution now doesn't use Morgan's Laws at all... It's much simpler, but I'm still unsure if in the case of MATH220, the truth table isn't what is intended. In any case, we have both now :)