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