add tautology and contradiction conditions