It is evident that these derived operations (and indeed the entire theory of Boolean algebras) owe their existence to those operations and connectives that are found in logic and set theory, as the following table illustrates: