Added generation for connectives (And, or, not, implies, equivalence)