 Bucaro TecHelpHTTPS Encryption not required because no account numbers orpersonal information is ever requested or accepted by this site Custom Search            Introduction to Boolean Algebra

Boolean algebra is a system of mathematics in which the values of the variables can take on only one of two values, either 0 or 1 (sometimes referred to as false and true). The name "Boolean" comes from the name of its inventor, George Boole. Similar to regular algebra, Boolean algebra can be used to simplify a mathematical expression. And since computer logic is also a system in which the values of the inputs and outputs can take on only one of two values, Boolean algebra can be used to simplify logic circuits.

Boolean algebra consists of a set of postulates and a set of laws. I will list the postulates and laws in the tables below. In Boolean algebra the plus (+) symbol represents the logical OR operation, the dot (.) represents the logical AND operation, the prime (') represents the compliment operation (e.g. changing 0 to 1 or changing 1 to 0).

I know that to someone unfamiliar with Boolean algebra, the tables below look scary and boring, but you don't need to pay much attention to them at this point, I'm simply introducing them. You'll understand them more easily after I give examples of the use of some of these postulates and laws.

Boolean Algebra Postulates (sometimes called identities)

 A + 0 = A Identity law ORing a variable with 0 is always equal to the varable A . 1 = A Identity law ANDing a variable with 1 is always equal to the varable A + A = A Identity law ORing a variable with itself is always equal to that varable A . A = A Identity law ANDing a varable with itself is always equal to that varable A + 1 = 1 Identity law ORing a variable with 1 always results in 1 A . 0 = 0 Identity law ANDing a varaible with 0 always results in 0 A + A' = 1 Complement law ORing a variable with its complement always equals 1 A . A' = 0 Complement law ANDing a variable with its complement always equals 0 A'' = X Complement law A double complement of a variable is that variable

Boolean Algebra Laws

 X+Y+Z = Z+Y+X Commutative law of ORing Changing the order of ORing variables does not change the result X.Y.Z = Y.Z.X Commutative law of ANDing Changing the order of ORing variables does not change the result X+(Y+Z) = (X+Y)+Z Associative law of ORing When ORing grouped variables changing the grouping does not change the result X.(Y.X) = (X.Y).Z Associative law of ANDing When Anding grouped variables changing the grouping does not change the result A(B+C) = AB+AC Distributive law of ANDing over ORing When ANDing a variable with a bracketed expression of ORed variables, you can remove the brackets and AND the variable with each individual ORed variable A+(B.C) = (A+B).(A+C) Distributive law of Oring over ANDing When ORing a varaible with a bracketed expression of ANDed variables, you can remove the brackets and OR the variable with each individual ANDed variable (X+Y)' = X'.Y' de Morgan's law The complement of Oring two variables is equivalent to complementing each variable and ANDing those two variables (X.Y)' = X'+Y' de Morgan's law The complement of ANDing two variables is equivalent to complementing each variable and Oring those two variables A+(A.B) = A Redundance law A combination of the result of using the Identity law and Distributive law A.(A+B) = A Redundance law A combination of the result of using the Identity law and Distributive law

Redundance law proof

A can be written as A.1 which the Identity law says equals 1 so A + AB can be written as A . (1+B). The Identity law says 1 + B = 1, so A . (1+B) can be written as A . 1 which the Identity law says equals A. In A . (A + B), the Distributive law says can be written as A.A + A.B and the Identity law says A . A = A, so we get A + AB, which as shown above equals A.

 .menubtn { margin-top:10px; margin-left:50px; width:220px; opacity:1; border-style:solid; border-color:#009000; background-color:#66ff66; transition-property: opacity; transition-duration: 1s; transition-timing-function: ease-out; } .menubtn:hover { opacity:1; background-color:#e5ff23; } Menu - MoreComputer Architecture RSS Feed Follow @Stephen Bucaro       [Site User Agreement] [Privacy Policy] [Site map] [Search This Site] [Contact Form]
Copyright©2001-2019 Bucaro TecHelp 13771 N Fountain Hills Blvd Suite 114-248 Fountain Hills, AZ 85268