∀x.( (pv(x)∧alcolico(x)) → ( (¬scontato(x) → costapiu(x)) ∧ (scontato(x) → ¬costapiu(x)) ) )

∀x.( (pv(x)∧alcolico(x)) → ( (¬scontato(x) → costapiu(x)) ∧ (scontato(x) → ¬costapiu(x)) ) )