I think that the boolean logic idea sounds like a novel and cunning
idea i definately second this.
On 23/11/05, Robert Dodier wrote:
> 3) Boolean algebra and logic. Simplification of boolean expressions,
> truth tables, satisfyability, disjuntive and conjunctive canonical
> forms, checking for tautologies and contradictions.