Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2001
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2001

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

Search the Archive

Re: Logic and Truth Tables with Mathematica?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg29853] Re: Logic and Truth Tables with Mathematica?
  • From: "Orestis Vantzos" <atelesforos at hotmail.com>
  • Date: Fri, 13 Jul 2001 04:19:35 -0400 (EDT)
  • Organization: National Technical University of Athens, Greece
  • References: <9iji4d$ris$1@smc.vnet.net>
  • Sender: owner-wri-mathgroup at wolfram.com

ShowTruthTable[logicF_] :=
  Module[{TT = Outer[logicF, {False, True}, {False, True}]},
    TT = Map[ToString, TT, {2}];
    GridBox[{{ToString@logicF, "False", "True"}, {"False"}~Join~
            TT[[1]], {"True"}~Join~TT[[2]]},
        ColumnLines -> {True, False},
        RowLines -> {True, False}] // DisplayForm]

The argument is the logical function you want to study. If you don't want to
create a table, but just want the truth table in matrix form, just use the
Outer[...] expression.
Orestis

<heathw at in-tch.com> wrote in message news:9iji4d$ris$1 at smc.vnet.net...
> Hi,
> Can Mathematica, given a relation such as P->Q generate the truth table?
> Is there a book available that talks about Mathematica and logic?
> Thanks,
> Heath
>




  • Prev by Date: Re: about ConstrainedMin
  • Next by Date: Re: Clearing cache
  • Previous by thread: Re: Logic and Truth Tables with Mathematica?
  • Next by thread: Re: Logic and Truth Tables with Mathematica?