Strengthening Convex Relaxations of 0/1-Sets Using Boolean Formulas