Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2006
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2006

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

Search the Archive

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. 



  • Prev by Date: Re: "unload" a package
  • Next by Date: SurfaceColor
  • Previous by thread: series question
  • Next by thread: SurfaceColor