Subject: Truth-Table generator
From: mslamm@pluto.cc.huji.ac.il (Zvi Lamm)
Date: 3 Dec 1994 19:35:03 GMT
Organization: The Hebrew Univ. of Jerusalem, Computation Center.

I want to program a truth-table generator in J (or in APL, but *I* prefer
ASCII!!). Can someone please help me? I don't want a solution, just some
tips on how to go about doing it.

At a later stage I would like to be able to produce the conjunctive
normal form, or the disjunctive normal form: based on the truth table
generated.

My current idea is to produce the truth-table for a J expression, which
will be evaluated for each combination of truth values. But for this I
have to know how to do such an "eval" operation... (with correct values
for the variable ofcourse)..

Any help is welcome.

I think E-mail is the way to go on this one - I will summerize, as I see
the need for more basic material to help beginners like me.

Thanks, Ehud Lamm

