Description: Equivalent expressions with existential quantification. (Contributed by Peter Mazsa, 10-Sep-2021)