MathGroup Archive 2005

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

Search the Archive

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

Andrzej Kozlowski wrote:

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

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

The rules of logic are very tricky.  For example:

Tautology <=> True
P && Tautology <=> P
P || Tautology <=> Tautology
!Tautology <=> Contradiction

  • Prev by Date: Re: Converting Rationals into Reals
  • Next by Date: Re: ((a&&b)||c)==((a||c)&&(b||c))
  • Previous by thread: Re: ((a&&b)||c)==((a||c)&&(b||c))
  • Next by thread: Re: ((a&&b)||c)==((a||c)&&(b||c)) is not true