Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2003
*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 2003

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

Search the Archive

Re: Negation of Negation wanted

  • To: mathgroup at smc.vnet.net
  • Subject: [mg44054] Re: Negation of Negation wanted
  • From: "Steve Luttrell" <luttrell at _removemefirst_westmal.demon.co.uk>
  • Date: Sun, 19 Oct 2003 01:10:59 -0400 (EDT)
  • References: <bmqpnl$rhi$1@smc.vnet.net>
  • Sender: owner-wri-mathgroup at wolfram.com

! (! x1 && ! x2) // LogicalExpand

--
Steve Luttrell
West Malvern, UK

"Thomas Gutzler" <gutzler at itiv.uni-karlsruhe.de> wrote in message
news:bmqpnl$rhi$1 at smc.vnet.net...
> Hi,
>
> Assuming f(x) = x1 && x2
>
> Is there a way to get !f(!x), which is:
> !(!x1 && !x2) = x1 || x2
> without copy&paste and manually change it?
>
> Cheers,
>    Tom
>



  • Prev by Date: Re: Re: Concentric contours about the centroid, having the same length, and interior to an initial contour.
  • Next by Date: RE: Negation of Negation wanted
  • Previous by thread: Re: Negation of Negation wanted
  • Next by thread: RE: Negation of Negation wanted