![]() |
VOOZH | about |
A Boolean algebraic theorem is a proven rule or identity in Boolean algebra that helps simplify logical expressions made using 0 and 1. It shows how Boolean expressions behave when we use operations like:
In the Boolean Algebra, we have identity elements for both AND(.) and OR(+) operations. The identity law state that in boolean algebra we have such variables that on operating with AND and OR operation we get the same result, i.e.
Binary variables in Boolean Algebra follow the commutative law. This law states that operating boolean variables A and B is similar to operating boolean variables B and A. That is,
Associative law state that the order of performing Boolean operator is illogical as their result is always the same. This can be understood as,
Boolean Variables also follow the distributive law and the expression for Distributive law is given as:
Inversion law is the unique law of Boolean algebra this law states that, the complement of the complement of any number is the number itself.
De Morgan's Theorems provide a way to express conjunctions and disjunctions purely in terms of each other via negation.
The Transposition Theorem is used to infer a logical implication from another implication.
is equivalent to
The Redundancy Theorem shows how redundant terms in Boolean expressions can be eliminated without changing the expression's truth value.
The Duality Theorem states that every Boolean algebraic expression remains valid if the operators and identity elements are swapped (AND โ OR, 0 โ 1).
If an expression F is valid, then its dual FD is also valid, where FD is obtained by replacing all + with . , . with +, 0 with 1, and 1 with 0.
The Complementary Theorem deals with the behavior of Boolean expressions involving variables and their complements.