homomorphy_form (Negation f r) = Negation f' r
     where f' = homomorphy_form f
homomorphy_form (Negation f r) = Negation f' r
     where f' = homomorphy_form f
homomorphy_form (Negation f r) = Negation f' r
     where f' = homomorphy_form f