Mastering Karnaugh Maps (K-Maps) for GCE A/L
Welcome! If you are finding Boolean Algebra confusing, K-Maps are your best friend. They turn complex algebra into a visual puzzle. Here is everything you need to know, step-by-step.
1. What is the Purpose?
The main purpose of a K-Map is to simplify Boolean equations. Instead of using long algebraic laws (like De Morgan's or Distributive laws), we use a visual grid to group terms together and eliminate variables.
2. Truth Tables vs. K-Maps
- Normal Truth Tables (1D): These are lists. You read them from top to bottom. They show every possible input combination.
- K-Maps (2D): These are grids (tables). We take that 1D list and "fold" it into a 2D shape. This allows us to see patterns (neighbors) that are hard to see in a list.
3. SOP vs. POS
There are two ways to write equations, and two ways to use K-Maps:
- SOP (Sum of Products): You look for Minterms. In the K-Map, you place 1s and group the 1s.
- POS (Product of Sums): You look for Maxterms. In the K-Map, you place 0s and group the 0s.
Note: For this guide, we will focus on SOP (Grouping 1s) as it is the most common method for beginners.
4. Grid Sizes (Dimensions)
The size of your K-Map depends on the number of variables (inputs). For 3 Variables (x, y, z):
Total combinations = $2^3 = 8$.
You can arrange these 8 cells in different 2D shapes:
- 1 row × 8 columns (1x8)
- 8 rows × 1 column (8x1)
- 2 rows × 4 columns (2x4) (Most Common for 3 variables)
- 4 rows × 2 columns (4x2)
5. The Secret Weapon: Gray Code
This is the most important rule in K-Maps. When labeling the rows and columns, you cannot use normal binary counting (00, 01, 10, 11). You must use Gray Code.
Rule: Between any two adjacent numbers, only one bit (value) changes.
Sequence for 2 bits: 00 → 01 → 11 → 10
- 00 to 01: Only the right bit changed.
- 01 to 11: Only the left bit changed.
- 11 to 10: Only the right bit changed.
If you do not use Gray Code, your K-Map will not work!
6. Step-by-Step Example
Let's solve this function together:
Step 1: Convert to Binary (Minterms)
Look at each term. If a variable has a bar (like x'), it is 0. If it has no bar (like x), it is 1.
x'y'z→ 0 0 1 (Decimal 1)x'yz→ 0 1 1 (Decimal 3)xy'z→ 1 0 1 (Decimal 5)xyz'→ 1 1 0 (Decimal 6)xyz→ 1 1 1 (Decimal 7)
Step 2: Create the Truth Table
We list all 8 combinations (0 to 7). We put a 1 in the Output column if the number matches our list above (1, 3, 5, 6, 7). Otherwise, put a 0.
| Decimal | x | y | z | Output (F) | Note |
|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 | |
| 1 | 0 | 0 | 1 | 1 | From x'y'z |
| 2 | 0 | 1 | 0 | 0 | |
| 3 | 0 | 1 | 1 | 1 | From x'yz |
| 4 | 1 | 0 | 0 | 0 | |
| 5 | 1 | 0 | 1 | 1 | From xy'z |
| 6 | 1 | 1 | 0 | 1 | From xyz' |
| 7 | 1 | 1 | 1 | 1 | From xyz |
Step 3: Draw the K-Map Grid
We will use a 2 rows × 4 columns grid.
- Rows (x): 0, 1
- Columns (yz): 00, 01, 11, 10 (Remember Gray Code!)
| x \ yz | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
We placed 1s in cells 1, 3, 5, 6, and 7 based on our Truth Table.
Step 4: Grouping (The Magic Step)
Rules for grouping:
- Groups must contain $2^n$ cells (1, 2, 4, 8, 16...).
- Groups must be rectangular or square.
- Try to make groups as large as possible.
- Every 1 must be inside at least one group.
- Groups can overlap.
Let's group our example:
- Group A (Red): Look at the middle two columns (01 and 11). We have four 1s forming a square (Cells 1, 3, 5, 7).
Why? In this group, x changes (0 to 1) and y changes (0 to 1). But z is always 1.
Result:z - Group B (Blue): Look at the bottom right corner. We have two 1s (Cells 6 and 7).
Why? In this group, z changes (0 to 1). But x is always 1 and y is always 1.
Result:xy
Step 5: Final Equation
Combine the results of the groups with an OR (+) sign.
This is much simpler than the original long equation!
7. How to do POS (Product of Sums)
If the question asks for POS, or gives you Maxterms (0s):
- Fill the K-Map with 0s instead of 1s (wherever the function is false).
- Group the 0s together.
- When writing the equation:
- If a variable is 0 in the group, write it normally (e.g., A).
- If a variable is 1 in the group, write it with a bar (e.g., A').
- Combine variables with OR (+), and combine groups with AND (·).
K-Map Exercises: SOP & POS
Now that we understand the basics, let's solve specific problems step-by-step for both Sum of Products (SOP) and Product of Sums (POS).
Exercise 1: Sum of Products (SOP)
Goal: Find the simplified equation by grouping 1s.
Problem:
F = x'y'z + x'yz + xy'z + xyz' + xyz
Step 1: Identify Minterms (Where F = 1)
Convert each term to binary. Remember: No bar = 1, Bar = 0.
x'y'z→ 001 → m1x'yz→ 011 → m3xy'z→ 101 → m5xyz'→ 110 → m6xyz→ 111 → m7
Notation: We can write this function as F(x,y,z) = ∑m(1, 3, 5, 6, 7)
Step 2: Fill the K-Map
We use a 2x4 grid. Place a 1 in cells 1, 3, 5, 6, 7. Place 0 everywhere else.
| x \ yz | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
Step 3: Grouping
We look for rectangles of 1s.
- Group 1 (Quad): The four 1s in the middle columns (Cells 1, 3, 5, 7).
- x changes (0→1), y changes (0→1).
- z stays 1.
- Term:
z
- Group 2 (Pair): The two 1s on the bottom right (Cells 6, 7).
- z changes (0→1).
- x stays 1, y stays 1.
- Term:
xy
Final SOP Answer:
Exercise 2: Product of Sums (POS)
Goal: Find the simplified equation by grouping 0s.
In POS, we look at the Maxterms.
Rule: Uncomplemented variable = 0, Complemented variable = 1.
Problem:
F = (x+y+z') · (x+y'+z') · (x'+y+z') · (x'+y'+z')
Step 1: Identify Maxterms (Where F = 0)
Convert the sums to binary to find which cells get a 0.
(x+y+z')→ 001 → M1(x+y'+z')→ 011 → M3(x'+y+z')→ 101 → M5(x'+y'+z')→ 111 → M7
Notation: F(x,y,z) = ∏M(1, 3, 5, 7)
Step 2: Fill the K-Map with 0s
Place 0 in cells 1, 3, 5, 7. Place 1 in the remaining cells (0, 2, 4, 6).
| x \ yz | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 |
Step 3: Grouping the 0s
We see a vertical block of four 0s in the middle columns (1, 3, 5, 7).
- x changes (0→1).
- y changes (0→1).
- z' is constant (which means z=1 in binary, so we write z' in the answer).
Note for POS: If the constant value in the group is 1, write the variable with a bar. If 0, write without a bar.
Final POS Answer:
4-Variable Notation Example
For 4 variables (A, B, C, D), the grid size is 4x4 (16 cells). The logic remains the same.
Example: F(A,B,C,D) = ∏M(3, 5, 7, 8, 10, 11, 12, 13)
This is a POS equation because it uses Capital M (Maxterms).
- Draw a 4x4 Grid.
- Label rows AB (00, 01, 11, 10) and columns CD (00, 01, 11, 10).
- Find cells 3, 5, 7, 8, 10, 11, 12, 13 and put 0s there.
- Put 1s in the remaining cells.
- Group the 0s to find the POS equation.
Quick Reference Table
| Feature | SOP (Sum of Products) | POS (Product of Sums) |
|---|---|---|
| Symbol | ∑ m (Small m) | ∏ M (Capital M) |
| K-Map Value | Fill with 1s | Fill with 0s |
| Grouping | Group the 1s | Group the 0s |
| Variable Rule | 1 = Variable, 0 = Bar | 0 = Variable, 1 = Bar |
Advanced K-Map Exercises & Solutions
Here are detailed step-by-step solutions for the specific Boolean functions you requested. We will cover both SOP (Sum of Products) and POS (Product of Sums) methods.
Problem 1: SOP Simplification
Function:
F(x,y,z) = x'z + xy'z + xyz' + xyz
Step 1: Expand to Minterms
Some terms are missing variables. We need to expand them to find the exact minterms (1s).
x'z: Missing y. Expands tox'y'z(001, m1) andx'yz(011, m3).xy'z: Complete. (101, m5).xyz': Complete. (110, m6).xyz: Complete. (111, m7).
Minterms: 1, 3, 5, 6, 7.
Step 2: K-Map Construction
Place 1s in cells 1, 3, 5, 6, 7.
| x \ yz | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
Step 3: Grouping
- Quad (1, 3, 5, 7): The four 1s in the middle columns.
- x changes, y changes. z is constant 1.
- Term:
z
- Pair (6, 7): The two 1s in the bottom right.
- z changes. x is 1, y is 1.
- Term:
xy
Final Answer:
Problem 2: SOP with Absorption
Function:
F(x,y,z) = x + xy'z + xyz' + xyz
Step 1: Analyze Terms
This problem has a trick. The term x covers all cases where x is 1.
xcovers: 100 (m4), 101 (m5), 110 (m6), 111 (m7).- The other terms (
xy'z,xyz',xyz) are already included insidex.
Effective Minterms: 4, 5, 6, 7.
Step 2: K-Map Construction
Place 1s in the entire bottom row (where x=1).
| x \ yz | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
| 1 | 1 | 1 | 1 | 1 |
Step 3: Grouping
We have one big group of four 1s (Quad) in the bottom row.
- y changes, z changes.
- x is constant 1.
Final Answer:
Problem 3: POS Simplification
Function:
F = (x+y+z') · (x+y'+z') · (x'+y+z') · (x'+y'+z')
Step 1: Identify Maxterms (0s)
Convert sums to binary. Remember: No Bar = 0, Bar = 1.
(x+y+z')→ 001 → M1(x+y'+z')→ 011 → M3(x'+y+z')→ 101 → M5(x'+y'+z')→ 111 → M7
Maxterms: 1, 3, 5, 7.
Step 2: K-Map Construction
Place 0s in cells 1, 3, 5, 7. Place 1s elsewhere.
| x \ yz | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 |
Step 3: Grouping the 0s
We have a vertical Quad of 0s in the middle columns (1, 3, 5, 7).
- x changes, y changes.
- z' is constant (In binary, z=1. For POS, 1 becomes z').
Final Answer:
Problem 4: SOP from Minterm Notation
Function:
F(x,y,z) = ∑m(1, 2, 3, 5, 7)
Step 1: K-Map Construction
Place 1s in cells 1, 2, 3, 5, 7.
| x \ yz | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 |
Step 2: Grouping
- Quad (1, 3, 5, 7): Middle columns.
- Term:
z
- Term:
- Pair (2, 3): Top row, right side.
- x is 0, y is 1. z changes.
- Term:
x'y
Final Answer:
Problem 5: POS from Maxterm Notation (4 Variables)
Function:
F(A,B,C,D) = ∏M(3, 5, 7, 8, 10, 11, 12, 13)
This is a 4-variable map (4x4 Grid). We group the 0s.
Step 1: K-Map Construction
Place 0s in cells: 3, 5, 7, 8, 10, 11, 12, 13.
| AB \ CD | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 00 | 1 | 1 | 0 | 1 |
| 01 | 1 | 0 | 0 | 1 |
| 11 | 0 | 0 | 1 | 1 |
| 10 | 0 | 1 | 0 | 0 |
Step 2: Grouping the 0s
We need to cover all 0s with the fewest groups possible.
- Group 1 (Pair 3, 7): Cells 0011 and 0111.
- A=0, C=1, D=1.
- Term:
(A + C' + D')
- Group 2 (Pair 5, 13): Cells 0101 and 1101.
- B=1, C=0, D=1.
- Term:
(B' + C + D')
- Group 3 (Pair 8, 12): Cells 1000 and 1100.
- A=1, C=0, D=0.
- Term:
(A' + C + D)
- Group 4 (Pair 10, 11): Cells 1010 and 1011.
- A=1, B=0, C=1.
- Term:
(A' + B + C')
Final Answer:
GCE A/L роХ்роХாрой Karnaugh Maps (K-Maps) роХро▒்ро▒ро▓்
рокூро▓ிропрой் роЗропро▒்роХрогிродроо் (Boolean Algebra) роХுро┤рок்рокрооாроХ роЗро░ுрои்родாро▓், K-Maps роЙроЩ்роХро│ுроХ்роХு роЙродро╡ுроо். роЗродு роЪிроХ்роХро▓ாрой роХрогிродрод்родை роТро░ு роХாроЯ்роЪி рокுродிро░் рокோро▓ рооாро▒்ро▒ுроо். роЗроЩ்роХே роТро╡்ро╡ொро░ு рокроЯிропாроХ роиீроЩ்роХро│் родெро░ிрои்родு роХொро│்ро│ ро╡ேрог்роЯிроп роЕройைрод்родுроо் роЙро│்ро│рой.
1. роЗродрой் роиோроХ்роХроо் роОрой்рой?
K-Map роЗрой் рооுроХ்роХிроп роиோроХ்роХроо் рокூро▓ிропрой் роЪроорой்рокாроЯுроХро│ை роЪுро░ுроХ்роХுро╡родாроХுроо் (Simplify Boolean equations). роиீрог்роЯ роЗропро▒்роХрогிрод ро╡ிродிроХро│ைрок் (De Morgan's or Distributive laws) рокропрой்рокроЯுрод்родுро╡родро▒்роХுрок் рокродிро▓ாроХ, роТро░ு роХாроЯ்роЪி роХроЯ்роЯрод்родைрок் (visual grid) рокропрой்рокроЯுрод்родி роЙро▒ுрок்рокுроХро│ை роТрой்ро▒ிрогைрод்родு рооாро▒ிроХро│ை роиீроХ்роХுроХிро▒ோроо்.
2. рооெроп்роородிрок்рокு роЕроЯ்роЯро╡рогை vs K-Maps
- роЪாродாро░рог рооெроп்роородிрок்рокு роЕроЯ்роЯро╡рогை (1D - Truth Tables): роЗро╡ை рокроЯ்роЯிропро▓்роХро│். роЗро╡ро▒்ро▒ை рооேро▓ிро░ுрои்родு роХீро┤ாроХ ро╡ாроЪிроХ்роХ ро╡ேрог்роЯுроо். роЗро╡ை роЪாрод்родிропрооாрой роЙро│்ро│ீроЯுроХро│ிрой் роХро▓ро╡ைроХро│ைроХ் роХாроЯ்роЯுроХிрой்ро▒рой.
- K-Maps (2D): роЗро╡ை роЕроЯ்роЯро╡рогைроХро│் (Grids). роЕрои்род 1D рокроЯ்роЯிропро▓ை роОроЯுрод்родு 2D ро╡роЯிро╡рооாроХ "роороЯிроХ்роХிро▒ோроо்". роЗродு рокроЯ்роЯிропро▓ிро▓் рокாро░்роХ்роХ роХроЯிройрооாрой ро╡роЯிро╡роЩ்роХро│ை (patterns) рокாро░்роХ்роХ роЙродро╡ுроХிро▒родு.
3. SOP vs POS
роЪроорой்рокாроЯுроХро│ை роОро┤ுрод роЗро░рог்роЯு ро╡ро┤ிроХро│் роЙро│்ро│рой, K-Maps рокропрой்рокроЯுрод்родро╡ுроо் роЗро░рог்роЯு ро╡ро┤ிроХро│் роЙро│்ро│рой:
- SOP (Sum of Products): роиீроЩ்роХро│் Minterms роХро│ைрод் родேроЯுроХிро▒ீро░்роХро│். K-Map роЗро▓், роиீроЩ்роХро│் 1s роР ро╡ைрод்родு, 1s роР родொроХுроХ்роХ ро╡ேрог்роЯுроо் (Group the 1s).
- POS (Product of Sums): роиீроЩ்роХро│் Maxterms роХро│ைрод் родேроЯுроХிро▒ீро░்роХро│். K-Map роЗро▓், роиீроЩ்роХро│் 0s роР ро╡ைрод்родு, 0s роР родொроХுроХ்роХ ро╡ேрог்роЯுроо் (Group the 0s).
роХுро▒ிрок்рокு: роЗрои்род ро╡ро┤ிроХாроЯ்роЯிропிро▓், родொроЯроХ்роХ роиிро▓ை рооாрогро╡ро░்роХро│ுроХ்роХு рооிроХро╡ுроо் рокொродுро╡ாрой рооுро▒ைропாрой SOP (1s роР родொроХுрод்родро▓்) рооீродு роХро╡ройроо் роЪெро▓ுрод்родுро╡ோроо்.
4. роХроЯ்роЯ роЕро│ро╡ுроХро│் (Dimensions)
роЙроЩ்роХро│் K-Map роЗрой் роЕро│ро╡ு рооாро▒ிроХро│ிрой் (inputs) роОрог்рогிроХ்роХைропைрок் рокொро▒ுрод்родродு. 3 рооாро▒ிроХро│் (x, y, z) роХ்роХு:
рооொрод்род роХро▓ро╡ைроХро│் = $2^3 = 8$.
роЗрои்род 8 роЪெро▓்роХро│ை ро╡ெро╡்ро╡ேро▒ு 2D ро╡роЯிро╡роЩ்роХро│ிро▓் роЕрооைроХ்роХро▓ாроо்:
- 1 ро╡ро░ிроЪை × 8 роиிро░ро▓்роХро│் (1x8)
- 8 ро╡ро░ிроЪைроХро│் × 1 роиிро░ро▓் (8x1)
- 2 ро╡ро░ிроЪைроХро│் × 4 роиிро░ро▓்роХро│் (2x4) (3 рооாро▒ிроХро│ுроХ்роХு роЗродுро╡ே рооிроХро╡ுроо் рокொродுро╡ாройродு)
- 4 ро╡ро░ிроЪைроХро│் × 2 роиிро░ро▓்роХро│் (4x2)
5. роЗро░роХроЪிроп роЖропுродроо்: Gray Code
роЗродு K-Maps роЗро▓் рооிроХ рооுроХ்роХிропрооாрой ро╡ிродிропாроХுроо். ро╡ро░ிроЪைроХро│் рооро▒்ро▒ுроо் роиிро░ро▓்роХро│ுроХ்роХு рокெропро░ிроЯுроо்рокோродு, роЪாродாро░рог роЗро░ுроо роОрог்рогிроХ்роХைропைрок் (00, 01, 10, 11) рокропрой்рокроЯுрод்родроХ்роХூроЯாродு. роиீроЩ்роХро│் Gray Code роРрок் рокропрой்рокроЯுрод்род ро╡ேрог்роЯுроо்.
ро╡ிродி: роОрои்род роЗро░рог்роЯு роЕроЯுрод்родроЯுрод்род роОрог்роХро│ுроХ்роХுроо் роЗроЯைропிро▓், роТро░ே роТро░ு рокிроЯ் роороЯ்роЯுрооே (value) рооாро▒ ро╡ேрог்роЯுроо்.
2 рокிроЯ்роХро│ுроХ்роХாрой ро╡ро░ிроЪை: 00 → 01 → 11 → 10
- 00 рооுродро▓் 01 ро╡ро░ை: ро╡ро▓родு рокிроЯ் роороЯ்роЯுроо் рооாро▒ிропродு.
- 01 рооுродро▓் 11 ро╡ро░ை: роЗроЯродு рокிроЯ் роороЯ்роЯுроо் рооாро▒ிропродு.
- 11 рооுродро▓் 10 ро╡ро░ை: ро╡ро▓родு рокிроЯ் роороЯ்роЯுроо் рооாро▒ிропродு.
роиீроЩ்роХро│் Gray Code роРрок் рокропрой்рокроЯுрод்родாро╡ிроЯ்роЯாро▓், роЙроЩ்роХро│் K-Map ро╡ேро▓ை роЪெроп்ропாродு!
6. рокроЯிрок்рокроЯிропாрой роЙродாро░рогроо்
роЗрои்родроЪ் роЪாро░்рокை (function) роТрой்ро▒ாроХрод் родீро░்рок்рокோроо்:
рокроЯி 1: роЗро░ுроород்родிро▒்роХு рооாро▒்ро▒ுродро▓் (Minterms)
роТро╡்ро╡ொро░ு роЙро▒ுрок்рокைропுроо் рокாро░ுроЩ்роХро│். роТро░ு рооாро▒ிроХ்роХு рооேро▒்роХோроЯு роЗро░ுрои்родாро▓் (x' рокோрой்ро▒родு), роЕродு 0. рооேро▒்роХோроЯு роЗро▓்ро▓ைропெрой்ро▒ாро▓் (x рокோрой்ро▒родு), роЕродு 1.
x'y'z→ 0 0 1 (рокродிрой்роороо் 1)x'yz→ 0 1 1 (рокродிрой்роороо் 3)xy'z→ 1 0 1 (рокродிрой்роороо் 5)xyz'→ 1 1 0 (рокродிрой்роороо் 6)xyz→ 1 1 1 (рокродிрой்роороо் 7)
рокроЯி 2: рооெроп்роородிрок்рокு роЕроЯ்роЯро╡рогைропை роЙро░ுро╡ாроХ்роХுродро▓் (Truth Table)
роиாроо் роЕройைрод்родு 8 роХро▓ро╡ைроХро│ைропுроо் (0 рооுродро▓் 7 ро╡ро░ை) рокроЯ்роЯிропро▓ிроЯுроХிро▒ோроо். рооேро▓ே роЙро│்ро│ рокроЯ்роЯிропро▓ுроЯрой் (1, 3, 5, 6, 7) роОрог் рокொро░ுрои்родிройாро▓் ро╡ெро│ிропீроЯு роиிро░ро▓ிро▓் 1 роР роЗроЯுроХிро▒ோроо். роЗро▓்ро▓ைропெрой்ро▒ாро▓், 0 роР роЗроЯுроХிро▒ோроо்.
| рокродிрой்роороо் (Decimal) | x | y | z | ро╡ெро│ிропீроЯு (F) | роХுро▒ிрок்рокு |
|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 | |
| 1 | 0 | 0 | 1 | 1 | x'y'z роЗро▓ிро░ுрои்родு |
| 2 | 0 | 1 | 0 | 0 | |
| 3 | 0 | 1 | 1 | 1 | x'yz роЗро▓ிро░ுрои்родு |
| 4 | 1 | 0 | 0 | 0 | |
| 5 | 1 | 0 | 1 | 1 | xy'z роЗро▓ிро░ுрои்родு |
| 6 | 1 | 1 | 0 | 1 | xyz' роЗро▓ிро░ுрои்родு |
| 7 | 1 | 1 | 1 | 1 | xyz роЗро▓ிро░ுрои்родு |
рокроЯி 3: K-Map роХроЯ்роЯрод்родை ро╡ро░ைродро▓்
роиாроо் 2 ро╡ро░ிроЪைроХро│் × 4 роиிро░ро▓்роХро│் роХроЯ்роЯрод்родைрок் рокропрой்рокроЯுрод்родுро╡ோроо்.
- ро╡ро░ிроЪைроХро│் (x): 0, 1
- роиிро░ро▓்роХро│் (yz): 00, 01, 11, 10 (Gray Code роР роиிройைро╡ிро▓் роХொро│்роХ!)
| x \ yz | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
рооெроп்роородிрок்рокு роЕроЯ்роЯро╡рогைропிрой் роЕроЯிрок்рокроЯைропிро▓் 1, 3, 5, 6, рооро▒்ро▒ுроо் 7 роЖроХிроп роЪெро▓்роХро│ிро▓் 1s роР роЗроЯ்роЯுро│்ро│ோроо்.
рокроЯி 4: родொроХுрод்родро▓் (Grouping - The Magic Step)
родொроХுрод்родро▓ுроХ்роХாрой ро╡ிродிроХро│்:
- родொроХுрок்рокுроХро│் $2^n$ роЪெро▓்роХро│ைроХ் роХொрог்роЯிро░ுроХ்роХ ро╡ேрог்роЯுроо் (1, 2, 4, 8, 16...).
- родொроХுрок்рокுроХро│் роЪெро╡்ро╡роХрооாроХро╡ோ роЕро▓்ро▓родு роЪродுро░рооாроХро╡ோ роЗро░ுроХ்роХ ро╡ேрог்роЯுроо்.
- родொроХுрок்рокுроХро│ை рооுроЯிрои்родро╡ро░ை рокெро░ிропродாроХ роЙро░ுро╡ாроХ்роХ рооுропро▒்роЪிроХ்роХро╡ுроо்.
- роТро╡்ро╡ொро░ு 1 роЙроо் роХுро▒ைрои்родрокроЯ்роЪроо் роТро░ு родொроХுрок்рокிро▒்роХுро│் роЗро░ுроХ்роХ ро╡ேрог்роЯுроо்.
- родொроХுрок்рокுроХро│் роТрой்ро▒ிрой் рооேро▓் роТрой்ро▒ு ро╡ро░ро▓ாроо் (Overlap).
роироородு роЙродாро░рогрод்родை родொроХுрок்рокோроо்:
- родொроХுрок்рокு A (роЪிро╡рок்рокு): роироЯுро╡ிро▓் роЙро│்ро│ роЗро░рог்роЯு роиிро░ро▓்роХро│ைрок் рокாро░ுроЩ்роХро│் (01 рооро▒்ро▒ுроо் 11). роиாрой்роХு 1s роЪродுро░рооாроХ роЙро│்ро│рой (роЪெро▓்роХро│் 1, 3, 5, 7).
роПрой்? роЗрои்род родொроХுрок்рокிро▓், x рооாро▒ுроХிро▒родு (0 рооுродро▓் 1) рооро▒்ро▒ுроо் y рооாро▒ுроХிро▒родு (0 рооுродро▓் 1). роЖройாро▓் z роОрок்рокோродுроо் 1 роЖроХ роЙро│்ро│родு.
ро╡ிроЯை:z - родொроХுрок்рокு B (роиீро▓роо்): роХீро┤் ро╡ро▓родு рооூро▓ைропைрок் рокாро░ுроЩ்роХро│். роЗро░рог்роЯு 1s роЙро│்ро│рой (роЪெро▓்роХро│் 6 рооро▒்ро▒ுроо் 7).
роПрой்? роЗрои்род родொроХுрок்рокிро▓், z рооாро▒ுроХிро▒родு (0 рооுродро▓் 1). роЖройாро▓் x роОрок்рокோродுроо் 1 рооро▒்ро▒ுроо் y роОрок்рокோродுроо் 1.
ро╡ிроЯை:xy
рокроЯி 5: роЗро▒ுродி роЪроорой்рокாроЯு
родொроХுрок்рокுроХро│ிрой் ро╡ிроЯைроХро│ை OR (+) роХுро▒ிропீроЯ்роЯுроЯрой் роЗрогைроХ்роХро╡ுроо்.
роЗродு роЕроЪро▓் роиீрог்роЯ роЪроорой்рокாроЯ்роЯை ро╡ிроЯ рооிроХро╡ுроо் роОро│ிрооைропாройродு!
7. POS (Product of Sums) роОрок்рокроЯி роЪெроп்ро╡родு
роХேро│்ро╡ி POS роРроХ் роХேроЯ்роЯாро▓் роЕро▓்ро▓родு Maxterms (0s) роХொроЯுрод்родாро▓்:
- K-Map роР 1s роХ்роХுрок் рокродிро▓ாроХ 0s роХொрог்роЯு роиிро░рок்рокро╡ுроо் (роЪாро░்рокு рокொроп்ропாроХ роЗро░ுроХ்роХுроо் роЗроЯроЩ்роХро│ிро▓்).
- 0s роР роТрой்ро▒ாроХ родொроХுроХ்роХро╡ுроо்.
- роЪроорой்рокாроЯ்роЯை роОро┤ுродுроо்рокோродு:
- родொроХுрок்рокிро▓் роТро░ு рооாро▒ி 0 роЖроХ роЗро░ுрои்родாро▓், роЕродை роЪாродாро░рогрооாроХ роОро┤ுродро╡ுроо் (роЙродா: A).
- родொроХுрок்рокிро▓் роТро░ு рооாро▒ி 1 роЖроХ роЗро░ுрои்родாро▓், роЕродை рооேро▒்роХோроЯுроЯрой் роОро┤ுродро╡ுроо் (роЙродா: A').
- рооாро▒ிроХро│ை OR (+) рооூро▓рооுроо், родொроХுрок்рокுроХро│ை AND (·) рооூро▓рооுроо் роЗрогைроХ்роХро╡ுроо்.
K-Map рокропிро▒்роЪிроХро│்: SOP & POS
роЕроЯிрок்рокроЯைроХро│ைрок் рокுро░ிрои்родு роХொрог்роЯோроо், роЗрок்рокோродு Sum of Products (SOP) рооро▒்ро▒ுроо் Product of Sums (POS) роЖроХிроп роЗро░рог்роЯிро▒்роХுроо் роХுро▒ிрок்рокிроЯ்роЯ ╧А╧Б╬┐╬▓்ро│роо்роХро│ை рокроЯிрок்рокроЯிропாроХрод் родீро░்рок்рокோроо்.
рокропிро▒்роЪி 1: Sum of Products (SOP)
роЗро▓роХ்роХு: 1s роР родொроХுрок்рокродрой் рооூро▓роо் роЪுро░ுроХ்роХрок்рокроЯ்роЯ роЪроорой்рокாроЯ்роЯைроХ் роХрог்роЯро▒ிродро▓்.
рокிро░роЪ்роЪிройை:
F = x'y'z + x'yz + xy'z + xyz' + xyz
рокроЯி 1: Minterms роР роЕроЯைропாро│роо் роХாрогுродро▓் (F = 1 роЗроЯроЩ்роХро│்)
роТро╡்ро╡ொро░ு роЙро▒ுрок்рокைропுроо் роЗро░ுроород்родிро▒்роХு (binary) рооாро▒்ро▒ро╡ுроо். роиிройைро╡ிро▓் роХொро│்роХ: рооேро▒்роХோроЯு роЗро▓்ро▓ை = 1, рооேро▒்роХோроЯு роЙрог்роЯு = 0.
x'y'z→ 001 → m1x'yz→ 011 → m3xy'z→ 101 → m5xyz'→ 110 → m6xyz→ 111 → m7
роХுро▒ிропீроЯு: роЗрои்родроЪ் роЪாро░்рокை роЗро╡்ро╡ாро▒ு роОро┤ுродро▓ாроо் F(x,y,z) = ∑m(1, 3, 5, 6, 7)
рокроЯி 2: K-Map роР роиிро░рок்рокுродро▓்
роиாроо் 2x4 роХроЯ்роЯрод்родைрок் рокропрой்рокроЯுрод்родுроХிро▒ோроо். 1, 3, 5, 6, 7 роЖроХிроп роЪெро▓்роХро│ிро▓் 1 роР роЗроЯро╡ுроо். рооро▒்ро▒ роЗроЯроЩ்роХро│ிро▓் 0 роР роЗроЯро╡ுроо்.
| x \ yz | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
рокроЯி 3: родொроХுрод்родро▓் (Grouping)
роиாроо் 1s роЗрой் роЪெро╡்ро╡роХроЩ்роХро│ைрод் родேроЯுроХிро▒ோроо்.
- родொроХுрок்рокு 1 (Quad - роиாрой்роХு): роироЯு роиிро░ро▓்роХро│ிро▓் роЙро│்ро│ роиாрой்роХு 1s (роЪெро▓்роХро│் 1, 3, 5, 7).
- x рооாро▒ுроХிро▒родு (0→1), y рооாро▒ுроХிро▒родு (0→1).
- z рооாро▒ாрооро▓் 1 роЖроХ роЙро│்ро│родு.
- роЙро▒ுрок்рокு:
z
- родொроХுрок்рокு 2 (Pair - роЗро░рог்роЯு): роХீро┤் ро╡ро▓родு рооூро▓ைропிро▓் роЙро│்ро│ роЗро░рог்роЯு 1s (роЪெро▓்роХро│் 6, 7).
- z рооாро▒ுроХிро▒родு (0→1).
- x рооாро▒ாрооро▓் 1, y рооாро▒ாрооро▓் 1.
- роЙро▒ுрок்рокு:
xy
роЗро▒ுродி SOP ро╡ிроЯை:
рокропிро▒்роЪி 2: Product of Sums (POS)
роЗро▓роХ்роХு: 0s роР родொроХுрок்рокродрой் рооூро▓роо் роЪுро░ுроХ்роХрок்рокроЯ்роЯ роЪроорой்рокாроЯ்роЯைроХ் роХрог்роЯро▒ிродро▓்.
POS роЗро▓், роиாроо் Maxterms роРрок் рокாро░்роХ்роХிро▒ோроо்.
ро╡ிродி: роиிро░рок்рокு роЗро▓்ро▓ாрод рооாро▒ி = 0, роиிро░рок்рокு роЙро│்ро│ рооாро▒ி = 1.
рокிро░роЪ்роЪிройை:
F = (x+y+z') · (x+y'+z') · (x'+y+z') · (x'+y'+z')
рокроЯி 1: Maxterms роР роЕроЯைропாро│роо் роХாрогுродро▓் (F = 0 роЗроЯроЩ்роХро│்)
роОрои்род роЪெро▓்роХро│ிро▓் 0 ро╡ро░ுроо் роОрой்рокродைроХ் роХрог்роЯро▒ிроп роХூроЯ்роЯро▓்роХро│ை роЗро░ுроород்родிро▒்роХு рооாро▒்ро▒ро╡ுроо்.
(x+y+z')→ 001 → M1(x+y'+z')→ 011 → M3(x'+y+z')→ 101 → M5(x'+y'+z')→ 111 → M7
роХுро▒ிропீроЯு: F(x,y,z) = ∏M(1, 3, 5, 7)
рокроЯி 2: K-Map роР 0s роХொрог்роЯு роиிро░рок்рокுродро▓்
1, 3, 5, 7 роЖроХிроп роЪெро▓்роХро│ிро▓் 0 роР роЗроЯро╡ுроо். рооீродрооுро│்ро│ роЪெро▓்роХро│ிро▓் (0, 2, 4, 6) 1 роР роЗроЯро╡ுроо்.
| x \ yz | 00 | 01 | 11 | 10 |
|---|---|---|---|---|
| 0 | 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 |
рокроЯி 3: 0s роР родொроХுрод்родро▓்
роироЯு роиிро░ро▓்роХро│ிро▓் (1, 3, 5, 7) роиாрой்роХு 0s роХொрог்роЯ роТро░ு роЪெроЩ்роХுрод்родாрой родொроХுродி роЙро│்ро│родு.
- x рооாро▒ுроХிро▒родு (0→1).
- y рооாро▒ுроХிро▒родு (0→1).
- z' рооாро▒ாрооро▓் роЙро│்ро│родு (роЗро░ுроород்родிро▓் z=1 роОрой்рокродாроХுроо், роОройро╡ே ро╡ிроЯைропிро▓் z' роОрой роОро┤ுродுроХிро▒ோроо்).
POS роХ்роХாрой роХுро▒ிрок்рокு: родொроХுрок்рокிро▓் роиிро▓ைропாрой роородிрок்рокு 1 роЖроХ роЗро░ுрои்родாро▓், рооாро▒ிропை рооேро▒்роХோроЯுроЯрой் роОро┤ுродро╡ுроо். 0 роЖроХ роЗро░ுрои்родாро▓், рооேро▒்роХோроЯு роЗро▓்ро▓ாрооро▓் роОро┤ுродро╡ுроо்.
роЗро▒ுродி POS ро╡ிроЯை:
4-рооாро▒ி роХுро▒ிропீроЯு роЙродாро░рогроо்
4 рооாро▒ிроХро│ுроХ்роХு (A, B, C, D), роХроЯ்роЯ роЕро│ро╡ு 4x4 (16 роЪெро▓்роХро│்) роЖроХுроо். родро░்роХ்роХроо் (logic) роЕродே рокோро▓ роЗро░ுроХ்роХுроо்.
роЙродாро░рогроо்: F(A,B,C,D) = ∏M(3, 5, 7, 8, 10, 11, 12, 13)
роЗродு роТро░ு POS роЪроорой்рокாроЯு роПройெройிро▓் роЗродு рокெро░ிроп роОро┤ுрод்родு M (Maxterms) роРрок் рокропрой்рокроЯுрод்родுроХிро▒родு.
- 4x4 роХроЯ்роЯрод்родை ро╡ро░ைропро╡ுроо்.
- ро╡ро░ிроЪைроХро│் AB (00, 01, 11, 10) рооро▒்ро▒ுроо் роиிро░ро▓்роХро│் CD (00, 01, 11, 10) роОрой рокெропро░ிроЯро╡ுроо்.
- 3, 5, 7, 8, 10, 11, 12, 13 роЖроХிроп роЪெро▓்роХро│ைроХ் роХрог்роЯுрокிроЯிрод்родு роЕроЩ்роХு 0s роР роЗроЯро╡ுроо்.
- рооீродрооுро│்ро│ роЪெро▓்роХро│ிро▓் 1s роР роЗроЯро╡ுроо்.
- POS роЪроорой்рокாроЯ்роЯைроХ் роХрог்роЯро▒ிроп 0s роР родொроХுроХ்роХро╡ுроо்.
ро╡ிро░ைро╡ாрой роХுро▒ிрок்рокு роЕроЯ்роЯро╡рогை
| роЕроо்роЪроо் | SOP (Sum of Products) | POS (Product of Sums) |
|---|---|---|
| роХுро▒ிропீроЯு | ∑ m (роЪிро▒ிроп m) | ∏ M (рокெро░ிроп M) |
| K-Map роородிрок்рокு | 1s роХொрог்роЯு роиிро░рок்рокро╡ுроо் | 0s роХொрог்роЯு роиிро░рок்рокро╡ுроо் |
| родொроХுрод்родро▓் | 1s роР родொроХுроХ்роХро╡ுроо் | 0s роР родொроХுроХ்роХро╡ுроо் |
| рооாро▒ி ро╡ிродி | 1 = рооாро▒ி, 0 = рооேро▒்роХோроЯு | 0 = рооாро▒ி, 1 = рооேро▒்роХோроЯு |