BOOLEAN & DEMORGANS:- Boolean Postulates Home

Boolean Postulates Commutative and Associative Rules Identity Absorption and Negating Rules Distributive Rules De Morgan's Theorems Simplifying using Boolean Theorem's Simplifying using DeMorgan's Theorem's     eBook Interactive Content  

 

               
A postulate is a logic assumption. Boolean logic is derived from ten such assumptions for AND, OR and NOT functions. The NOT gate output is inverted and represented by an over-bar symbol. Each function when driven by given logic 0 or 1 to its input(s) will result in a defined output. This can be confirmed by referring to the logic gate topics. Boolean algebra is therefore a short-hand way of writing and simplifying combinations of logic symbols. The postulates are shown as pairs, where inverting the input(s) and changing the symbol (exception being the NOT gate) results in the opposite logic output. To become familiar with these postulates derive each equivalent gate and its logic inputs and compare with those shown by selecting the gate symbols. As we develop this topic further it will not be necessary to draw the gates to arrive at a simplification, just remember the equivalent operators [.], [+] and over-bar logic representations. TEST YOUR UNDERSTANDING: Ask yourself what value is there in learning about Boolean Algebra for a computer system engineer?