Bivalence and related laws