[Date Index] [Thread Index] [Author Index]

Is it possible?

• To: mathgroup at smc.vnet.net
• Subject: [mg112123] Is it possible?
• From: olfa <olfa.mraihi at yahoo.fr>
• Date: Tue, 31 Aug 2010 04:18:06 -0400 (EDT)

Hi Mathematica community,
is Mathematica able to find a transitif superset of a given set S ?
S is of the form (a && b && c ...) || (d && e && f ...) || ... such as
a,b,c,d,e,f,... are equations.
Thank you.