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. Develop classes: ConditionBodyC Abstract condition MinTermBodyC Logical Minterm. OrBodyC Coniditional Or. NotBodyC Not operator body AndBodyC And a set of conditions.