next up previous
Next: About this document Up: Manipulating Identities Previous: -P & ((R &

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

tex2html_wrap332

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

tex2html_wrap358

14 P & -P tex2html_wrap_inline84 F tex2html_wrap_inline282

tex2html_wrap360

11 P v F tex2html_wrap_inline84 P tex2html_wrap_inline282

tex2html_wrap362

4 (P & Q) & R tex2html_wrap_inline84 P & (Q & R) tex2html_wrap_inline282

tex2html_wrap364

6 P & Q tex2html_wrap_inline84 Q & P tex2html_wrap_inline282

tex2html_wrap366

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