next up previous
Next: -P & ((R & Up: Manipulating Identities Previous: Example of Simplification Show

-P & ((R & S) v (R & -S)) & (P v Q)
tex2html_wrap_inline84 -P & Q & R

tex2html_wrap324

8 P & (Q v R) tex2html_wrap_inline84 (P & Q) v (P & R) tex2html_wrap_inline282

tex2html_wrap326

13 P v -P tex2html_wrap_inline84 T tex2html_wrap_inline282

tex2html_wrap328

12 P & T tex2html_wrap_inline84 P tex2html_wrap_inline282

tex2html_wrap330

6 P & Q tex2html_wrap_inline84 Q & P tex2html_wrap_inline282

tex2html_wrap332

Mike Rosner
Fri Oct 30 14:59:11 MET 1998