Expanding logical expressions
- To: mathgroup at smc.vnet.net
- Subject: [mg70848] Expanding logical expressions
- From: "Bonny Banerjee" <banerjee.28 at osu.edu>
- Date: Sat, 28 Oct 2006 23:39:34 -0400 (EDT)
- Organization: Ohio State University
I want to expand logical expressions over the function Reduce. For example, if I have the expression Reduce[ ForAll[t, 0 <= t <= 1, (A + Bt) => E] || ForAll[t, 0 <= t <= 1, (C + Dt) => F], Reals] I would like to write it as Reduce[ ForAll[t, 0 <= t <= 1, (A + Bt) => E], Reals] || Reduce[ ForAll[t, 0 <= t <= 1, (C + Dt) => F], Reals] Is there any function in Mathematica to accomplish this? Thanks, Bonny.