The theory of Boolean-like rings