Structured binary system, called propositional logic. Propositions may be TRUE or FALSE, and are stated as functions of other propositions which are connected by the three basic logical connectives: AND and OR. The meaning of the OR connective is that the corresponding output is TRUE if either one of the input TRUE. And the meaning of AND is that the corresponding output is TRUE only if both the inputs are TRUE.