Services & ResourcesWolfram ForumsMathGroup Archive

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

Negation of Negation wanted

• To: mathgroup at smc.vnet.net
• Subject: [mg44023] Negation of Negation wanted
• From: Thomas Gutzler <gutzler at itiv.uni-karlsruhe.de>
• Date: Sat, 18 Oct 2003 03:12:15 -0400 (EDT)
• Organization: University of Karlsruhe, Germany
• Sender: owner-wri-mathgroup at wolfram.com

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

• Follow-Ups:
  • Re: Negation of Negation wanted
    • From: "Peter Pein" <nospam@spam.no>