Logical Conditions

Normal classes:

ConditionC	Abstract condition
MinTermC	Logical Minterm.
OrC	Or a set of conditions.
AndC	And a set of conditions.
NotC	Not a condition.
MinTermIterC	Iterator though terms in a min term.

Normal functions:

operator *(const MinTermC &,const MinTermC &)	And two min-terms.
operator *(const MinTermC &,const LiteralC &)	And a min term and a literal.
operator *(const LiteralC &,const MinTermC &)	And a min term and a literal.
operator +(const LiteralC &,const LiteralC &)	Or two literals.
operator !(const LiteralC &)	Not operator.
operator *(const LiteralC &,const LiteralC &)	And operator.