(<=>) :: FeatureExpression -> FeatureExpression -> FeatureExpression
e1 <=> e2 = And (Or (Not e1) e2) (Or (Not e2) e1)
(<=>) :: FeatureExpression -> FeatureExpression -> FeatureExpression
e1 <=> e2 = And (Or (Not e1) e2) (Or (Not e2) e1)
e1 <=> e2 = And (Or (Not e1) e2) (Or (Not e2) e1)