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 >