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

Re: ((a&&b)||c)==((a||c)&&(b||c))

  • To: mathgroup at
  • Subject: [mg62040] Re: [mg62015] ((a&&b)||c)==((a||c)&&(b||c))
  • From: Andrzej Kozlowski <akoz at>
  • Date: Wed, 9 Nov 2005 05:19:38 -0500 (EST)
  • References: <>
  • Sender: owner-wri-mathgroup at

On 9 Nov 2005, at 17:45, Steven T. Hatton wrote:

> 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:

Because, (as I tried to explain in a reply to a recent posting of  
yours) this is not the way == is used in Mathematica. The correct way  
to show this is:

Implies[(a â?¨ c) â?§ (b â?¨ c),(a â?§ b) â?¨ c]//FullSimplify


Implies[(a â?§ b) â?¨ c,(a â?¨ c) â?§ (b â?¨ c)]//FullSimplify


Andrzej Kozlowski

  • Prev by Date: Re: To be or not to be...
  • Next by Date: Timing runs for the last part of my previous post
  • Previous by thread: ((a&&b)||c)==((a||c)&&(b||c))
  • Next by thread: Re: ((a&&b)||c)==((a||c)&&(b||c))