MathGroup Archive 2003

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

Search the Archive

Re: Is it doable in Mathematica? How?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg39726] Re: [mg39704] Is it doable in Mathematica? How?
  • From: Dr Bob <drbob at bigfoot.com>
  • Date: Mon, 3 Mar 2003 23:50:24 -0500 (EST)
  • References: <200303030925.EAA20707@smc.vnet.net>
  • Reply-to: drbob at bigfoot.com
  • Sender: owner-wri-mathgroup at wolfram.com

Try:

e1[{a_, b_, c_}] := a && b && c
e2[{a_, b_, c_}] := Implies[a || b, c]
logicals = {False, True};
Flatten[Outer[{#1, #2, #3} &, logicals, logicals, logicals], 2];
TableForm[{Sequence @@ #, e1@#, e2@#} & /@ %, TableHeadings -> {None, {a, 
b, c, e1@{a, b, c}, "a||b\[Implies]c"}}]

or (a bit simpler):

row[{a_, b_, c_}] := {a, b, c, a && b && c, Implies[a || b, c]}
logicals = {False, True};
TableForm[
  Flatten[
     Outer[row, logicals, logicals, logicals], 2],
  TableHeadings -> {None, {a, b, c, a && b && c, "(a||b)\[Implies]c"}}]

Bobby

On Mon, 3 Mar 2003 04:25:00 -0500 (EST), Konrad Den Ende 
<chamsterkonrad at bigfoot.com> wrote:

> I'd like to create a truth table for, say, A, B and C, as
> well as two different expression, say, A&&B&&C and
> (A||B) -> C. How do i go about that?
>
> I have tried Table, but since True/False are not allowed
> there i got stuck. The help in Mathematica was of little
> help in this case. Any hints or suggestions?
>
> --
>
> Vänligen
> Konrad
> ---------------------------------------------------
> phone #1:  (+46/0) 708 - 70 73 92
> phone #2: (+46/0) 704 - 79 96 95
> url: http://konrads.webbsida.com
> e-mail: chamsterkonrad at bigfoot.com
> -----------------------------------
>
> Sleep - thing used by ineffective people
> as a substitute for coffee
>
> Ambition - a poor excuse for not having
> enough sence to be lazy
> ---------------------------------------------------
>
>
>
>
>
>
>
>



-- 
majort at cox-internet.com
Bobby R. Treat



  • Prev by Date: Re2: Is it doable in Mathematica? How?
  • Next by Date: Re: Testing for invertible matrix
  • Previous by thread: Is it doable in Mathematica? How?
  • Next by thread: Re: Is it doable in Mathematica? How?