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

RE: Negation of Negation wanted

• To: mathgroup at smc.vnet.net
• Subject: [mg44043] RE: Negation of Negation wanted
• From: "David Park" <djmp at earthlink.net>
• Date: Sun, 19 Oct 2003 01:10:37 -0400 (EDT)
• Sender: owner-wri-mathgroup at wolfram.com

Tom,

I don't understand your first definition at all, but

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

David Park
djmp at earthlink.net
http://home.earthlink.net/~djmp/ 



From: Thomas Gutzler [mailto:gutzler at itiv.uni-karlsruhe.de]
To: mathgroup 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