logical simplification problem
- To: mathgroup at smc.vnet.net
- Subject: [mg101442] logical simplification problem
- From: olfa <olfa.mraihi at yahoo.fr>
- Date: Tue, 7 Jul 2009 07:47:37 -0400 (EDT)
Hi mathematica community, if it does not exist as predefined function in mathematica, how to define a rule that illustrate this logical property: if p implies q then p || q is simplified into q and p&&q is simplified into p? Thank you for your help.