Decidability and Boolean Representations