distributeAndOverOr :: FeatureExpression -> FeatureExpression -> FeatureExpression
distributeAndOverOr (And x y) e2 = And (toCNFExpression (Or x e2)) (toCNFExpression(Or y e2))
distributeAndOverOr :: FeatureExpression -> FeatureExpression -> FeatureExpression
distributeAndOverOr (And x y) e2 = And (toCNFExpression (Or x e2)) (toCNFExpression(Or y e2))
distributeAndOverOr (And x y) e2 = And (toCNFExpression (Or x e2)) (toCNFExpression(Or y e2))