Services & Resources / Wolfram Forums
MathGroup Archive
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2005

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

Search the Archive


  • To: mathgroup at
  • Subject: [mg62015] ((a&&b)||c)==((a||c)&&(b||c))
  • From: "Steven T. Hatton" <hattons at>
  • Date: Wed, 9 Nov 2005 03:45:29 -0500 (EST)
  • Sender: owner-wri-mathgroup at

Why does Mathematica not determine that the following is true?

((a \[And] b) \[Or] c) == ((a \[Or] c) \[And] (b \[Or] c))

This little function shows that the lhs  and rhs have the same truth tables,
and are therefore equivalent:

TruthTable[s_, argc_] := Module[
    {tt = Tuples[{True, False}, argc]},
    {#, s @@ #} & /@ tt // TableForm

The Mathematica Wiki:
Math for Comp Sci
Math for the WWW:

  • Prev by Date: Re: Mathematica 1
  • Next by Date: Re: Mathematica 1
  • Previous by thread: Re: Write, Put,..
  • Next by thread: Re: ((a&&b)||c)==((a||c)&&(b||c))