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

Logic and Truth Tables with Mathematica?

• To: mathgroup at smc.vnet.net
• Subject: [mg29825] Logic and Truth Tables with Mathematica?
• From: heathw at in-tch.com
• Date: Thu, 12 Jul 2001 02:52:38 -0400 (EDT)
• Sender: owner-wri-mathgroup at wolfram.com

Hi,
Can Mathematica, given a relation such as P->Q generate the truth table?
Is there a book available that talks about Mathematica and logic?
Thanks,
Heath