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

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.