The explication of the particular axioms used in a theory can help to clarify a suitable level of abstraction that the mathematician would like to work with. For example, mathematicians opted that rings need not be commutative, which differed from Emmy Noether’s original formulation. Mathematicians decided to consider topological spaces more generally without the separation axiom which Felix Hausdorff originally formulated. A variable or the complement of the variable in Boolean Algebra is called the Literal. Further work has been done for reducing the number of axioms; see Minimal axioms for Boolean algebra. It follows from the first five pairs of axioms that any complement is unique. These logic gates need to make the decision of combining various inputs according to some logical operation and produce an output. These two De Morgan’s laws are used to change the expression from one form to another form. Such a Boolean algebra consists of a set and operations on that set which can be shown to satisfy the laws of Boolean algebra. The sets of logical expressions are known as Axioms or postulates of Boolean Algebra. Then given below are the various types and symbols of logic gates. A sufficient subset of the […]