Thursday, 22 August 2013

Simplify a proposition of logic

Simplify a proposition of logic

I'm trying to come up with some concrete simplification for the following
proposition:
p É (p È (Êp È q É r È (p È r)))
Any ideas on what is the resulting form?

No comments:

Post a Comment