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

Example of Simplification
Show P & (P v Q) tex2html_wrap_inline84 P

tex2html_wrap296

11 P tex2html_wrap_inline84 P v F tex2html_wrap_inline282

tex2html_wrap298

7 Pv(Q&R)tex2html_wrap_inline84(PvQ)&(PvR) tex2html_wrap_inline282

tex2html_wrap300

10 P & F tex2html_wrap_inline84 F tex2html_wrap_inline282

tex2html_wrap302

11 P tex2html_wrap_inline84 P v F tex2html_wrap_inline282

tex2html_wrap304

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