ENT 116 LAWS RULES OF BOOLEAN ALGEBRA Academic

ENT 116 LAWS & RULES OF BOOLEAN ALGEBRA Academic Session : 2011 -2012 Semester: 2 School of Mechatronic Engineering Universiti Malaysia Perlis (Uni. MAP) Malaysia

Commutative law of addition, A+B = B+A the order of ORing does not matter.

COMMUTATIVE LAW OF MULTIPLICATION Commutative law of Multiplication AB = BA the order of ANDing does not matter.

ASSOCIATIVE LAW OF ADDITION Associative law of addition A + (B + C) = (A + B) + C The grouping of ORed variables does not matter

ASSOCIATIVE LAW OF MULTIPLICATION Associative law of multiplication A(BC) = (AB)C The grouping of ANDed variables does not matter

DISTRIBUTIVE LAW A(B + C) = AB + AC (A+B)(C+D) = AC + AD + BC + BD

BOOLEAN RULES 1) A + 0 = A In math if you add 0 you have changed nothing In Boolean Algebra ORing with 0 changes nothing

BOOLEAN RULES 2) A + 1 = 1 ORing with 1 must give a 1 since if any input is 1 an OR gate will give a 1

BOOLEAN RULES 3) A • 0 = 0 In math if 0 is multiplied with anything you get 0. If you AND anything with 0 you get 0

BOOLEAN RULES 4) A • 1 = A ANDing anything with 1 will yield the anything

BOOLEAN RULES 5) A + A = A ORing with itself will give the same result

BOOLEAN RULES 6) A + A = 1 Either A or A must be 1 so A + A =1

BOOLEAN RULES 7) A • A = A ANDing with itself will give the same result

BOOLEAN RULES 8) A • A = 0 In digital Logic 1 =0 and 0 =1, so AA=0 since one of the inputs must be 0.

BOOLEAN RULES 9) A = A If you not something twice you are back to the beginning

BOOLEAN RULES 10) A + AB = A Proof: A + AB = A(1 +B) DISTRIBUTIVE LAW = A∙ 1 Rule 2: (1+B)=1 =A Rule 4: A∙ 1 = A

BOOLEAN RULES 11) A + AB = A + B If A is 1 the output is 1 , If A is 0 the output is B Proof: A + AB = (A + AB) + AB RULE 10 = (AA +AB) + AB RULE 7 = AA + AB + AA +AB RULE 8 = (A + A)(A + B) FACTORING = 1∙(A + B) RULE 6 =A+B RULE 4

BOOLEAN RULES 12) (A + B)(A + C) = A + BC PROOF (A + B)(A +C) = AA + AC +AB +BC DISTRIBUTIVE LAW = A + AC + AB + BC RULE 7 = A(1 + C) +AB + BC FACTORING = A. 1 + AB + BC RULE 2 = A(1 + B) + BC FACTORING = A. 1 + BC RULE 2 = A + BC RULE 4

END OF BOOLEAN RULES & LAWS

DEMORGAN’S THEOREM

THEOREMS The complement of two or more ANDed variables is equivalent to the OR of the complements of the individual variables The complement of two or more ORed variables is equivalent to the AND of the complements of the individual variables

CORRESPONDING TRUTH TABLES THAT ILLUSTRATE DEMORGAN’S THEOREMS

EXAMPLE

KARNAUGH MAP STANDARD FORMS OF BOOLEAN EXPRESSIONS Sum of Product (SOP) Product of Sum (POS)

THE SUM-OF-PRODUCTS (SOP) FORM When two or more product terms are summed by Boolean addition

CONVERSION OF A GENERAL EXPRESSION TO SOP FORM Any logic expression can be change into SOP form by applying Boolean Algebra techniques Try This:

THE STANDARD SOP FORM

THE PRODUCTS-OF-SUM (POS) FORM When two or more sum terms are multiplied.

THE STANDARD POS FORM Rule 12!

BOOLEAN EXPRESSION AND TRUTH TABLE

CONVERTING SOP TO TRUTH TABLE § Examine each of the products to determine where the product is equal to a 1. § Set the remaining row outputs to 0.

CONVERTING POS TO TRUTH TABLE § Opposite process from the SOP expressions. § Each sum term results in a 0. § Set the remaining row outputs to 1.

CONVERTING FROM TRUTH TABLE TO SOP AND POS Inputs Output A B C X 0 0 0 1 1 0 0 1 1 1

THE KARNAUGH MAP

THE KARNAUGH MAP Provides a systematic method for simplifying Boolean expressions Produces the simplest SOP or POS expression Similar to a truth table because it presents all of the possible values of input variables

THE 3 -VARIABLE K-MAP

THE 4 -VARIABLE K-MAP

K-MAP SOP MINIMIZATION A 1 is placed on the KMap for each product term in the expression. Each 1 is placed in a cell corresponding to the value of a product term

EXAMPLE: Map the following standard SOP expression on a K-Map: Solution:

EXERCISE: Map the following standard SOP expression on a K-Map:

ANSWER:

K-MAP SIMPLIFICATION OF SOP EXPRESSIONS A group must contain either 1, 2, 4, 8 or 16 cells. Each cell in group must be adjacent to one or more cells in that same group but all cells in the group do not have to be adjacent to each other Always include the largest possible number 1 s in a group in accordance with rule 1 Each 1 on the map must be included in at least one group. The 1 s already in a group can be included in another group as long as the overlapping groups include noncommon 1 s To maximize the size of the groups and to minimize the number of groups

EXAMPLE: GROUP THE 1 S IN EACH K-MAPS

Determining the minimum SOP Expression from the Map • Groups the cells that have 1 s. • Each group of cells containing 1 s create one product term composed of all variables that occur in only one form (either uncomplemented or complemented) within the group. • Variable that occurs both uncomplemented and complemented within the group are eliminated. These are called contradictory variables.

EXAMPLE: DETERMINE THE PRODUCT TERM FOR THE K-MAP BELOW AND WRITE THE RESULTING MINIMUM SOP EXPRESSION 1

EXAMPLE: USE A K-MAP TO MINIMIZE THE FOLLOWING STANDARD SOP EXPRESSION

MAPPING DIRECTLY FROM A TRUTH TABLE

DON’T CARE (X) CONDITIONS A situation arises in which input variable combinations are not allowed Don’t care terms either a 1 or a 0 may be assigned to the output

Don’t Care (X) Conditions Example of the use of “don’t care” conditions to simplify an expression

EXERCISE: USE K-MAP TO FIND THE MINIMUM SOP FROM 1 2