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

> 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
> ---------------------------------------------------
> phone #1:  (+46/0) 708 - 70 73 92
> phone #2: (+46/0) 704 - 79 96 95
> -----------------------------------
>
> 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?