Adequate set of connectives; Equivalence and normal forms