SlideShare a Scribd company logo
Boolean Logic 
 Basics 
 Combinational Circuits 
 Sequential Circuits 
Inam Ul-Haq 
Senior Lecturer in Computer Science 
University of Education Okara Campus 
Inam.bth@gmail.com 
Member at IEEE & ACM 
Thanks to Adapted from the slides prepared by S. Dandamudi for the book, 
Fundamentals of Computer Organization and Design.
Introduction to Digital Logic Basics 
 Hardware consists of a few simple building blocks 
 These are called logic gates 
 AND, OR, NOT, … 
 NAND, NOR, XOR, … 
 Logic gates are built using transistors 
 NOT gate can be implemented by a single transistor 
 AND gate requires 3 transistors 
 Transistors are the fundamental devices 
 Pentium consists of 3 million transistors 
 Compaq Alpha consists of 9 million transistors 
 Now we can build chips with more than 100 million transistors
Basic Concepts 
 Simple gates 
 AND 
 OR 
 NOT 
 Functionality can be 
expressed by a truth table 
 A truth table lists output for 
each possible input 
combination 
 Precedence 
 NOT > AND > OR 
 F = A B + A B 
= (A (B)) + ((A) B)
Basic Concepts (cont.) 
 Additional useful gates 
 NAND 
 NOR 
 XOR 
 NAND = AND + NOT 
 NOR = OR + NOT 
 XOR implements 
exclusive-OR function 
 NAND and NOR gates 
require only 2 transistors 
 AND and OR need 3 
transistors!
Basic Concepts (cont.) 
 Proving NOR gate is universal 
• Proving NAND gate is universal
Logic Chips (cont.) 
 Integration levels 
 SSI (small scale integration) 
 Introduced in late 1960s 
 1-10 gates (previous examples) 
 MSI (medium scale integration) 
 Introduced in late 1960s 
 10-100 gates 
 LSI (large scale integration) 
 Introduced in early 1970s 
 100-10,000 gates 
 VLSI (very large scale integration) 
 Introduced in late 1970s 
 More than 10,000 gates 
Explore how many transistors in SSI? 
Explore how many transistors in MSI? 
Explore how many transistors in LSI? 
Explore how many transistors in VLSI?
Logic Functions 
 Logical functions can be expressed in several 
ways: 
 Truth table 
 Logical expressions 
 Graphical form
Logic Functions (cont.) 
Truth Table 
A B C F 
0 0 0 0 
0 0 1 0 
0 1 0 0 
0 1 1 1 
1 0 0 0 
1 0 1 1 
1 1 0 1 
1 1 1 1 
 Logical expression form 
F = A B + B C + A C 
Graphical Form
Logical Equivalence 
 All three circuits implement F = A B function
Logical Equivalence 
 Derivation of logical expression from a circuit(graphical form) 
 Trace from the input to output 
 Write down intermediate logical expressions along the path 
 (write down truth table of expression F3)
Logical Equivalence (cont.) 
 Proving logical equivalence: Truth table method 
 (write down graphical form from below truth table) 
A B F1 = A B F3 = (A + B) (A + B) (A + B) 
0 0 0 0 
0 1 0 0 
1 0 0 0 
1 1 1 1
Boolean Algebra (2nd method) 
(Prove each property through truth table)
Boolean Algebra (cont.) 
(Prove each property through truth table)

More Related Content

PDF
[Question Paper] Fundamentals of Digital Computing (Revised Course) [January ...
PPTX
Digital electronics nandhini kusuma
PPT
Digital Logic & Design (DLD) presentation
PPTX
COMPILER DESIGN AND CONSTRUCTION
PPTX
Cryptographic algorithms
PPTX
Basic blocks - compiler design
PDF
[Question Paper] Fundamentals of Digital Computing (Revised Course) [May / 2016]
[Question Paper] Fundamentals of Digital Computing (Revised Course) [January ...
Digital electronics nandhini kusuma
Digital Logic & Design (DLD) presentation
COMPILER DESIGN AND CONSTRUCTION
Cryptographic algorithms
Basic blocks - compiler design
[Question Paper] Fundamentals of Digital Computing (Revised Course) [May / 2016]

What's hot (20)

PDF
[Question Paper] Microprocessor and Microcontrollers (Revised Course) [June /...
PDF
Networking assignment 2
DOC
A10 microprocessor & microcontrollers ( eee, ece & ecm )
PPT
Logic Fe Tcom
PPT
Lec9 Intro to Computer Engineering by Hsien-Hsin Sean Lee Georgia Tech -- Com...
PPT
Ceng232 Decoder Multiplexer Adder
PDF
Lecture6 syntax analysis_2
PPT
Intermediate code generation
PPTX
Reversible logic gate
DOCX
Bt0064 logic design
PDF
Computer Organization And Architecture lab manual
PPTX
Combinational Circuits & Sequential Circuits
PPTX
Encoding in sc
PDF
[Question Paper] Microprocessor and Microcontrollers (Revised Course) [Septem...
DOCX
Cs6660 compiler design november december 2016 Answer key
PPTX
Intermediate code
PPT
Digital Logic Rcs
PDF
Lo18
PPTX
Two fish cipher
[Question Paper] Microprocessor and Microcontrollers (Revised Course) [June /...
Networking assignment 2
A10 microprocessor & microcontrollers ( eee, ece & ecm )
Logic Fe Tcom
Lec9 Intro to Computer Engineering by Hsien-Hsin Sean Lee Georgia Tech -- Com...
Ceng232 Decoder Multiplexer Adder
Lecture6 syntax analysis_2
Intermediate code generation
Reversible logic gate
Bt0064 logic design
Computer Organization And Architecture lab manual
Combinational Circuits & Sequential Circuits
Encoding in sc
[Question Paper] Microprocessor and Microcontrollers (Revised Course) [Septem...
Cs6660 compiler design november december 2016 Answer key
Intermediate code
Digital Logic Rcs
Lo18
Two fish cipher
Ad

Similar to Boolean Logic (20)

PPT
Lec 2 digital basics
PPTX
logic gates functions.pptx
PPT
unit-2_logic_gates_functions.ppt
PPTX
Digital electronics nandhini kusuma
PPTX
Digital electronics nandhini kusuma
PPT
9. logic gates._rr
PPT
vhdl.ppt Verilog Hardware Description Language
PPTX
class xi pptx-1.pptx
PPTX
Logic gate implementing without using ICs by Nimay Giri
PPTX
combinational _logic_circuit_digital.pptx
PPT
2 gates
PPT
PPT
Chapter04.ppt
PPTX
Lecture-4 Logic Gates about the output device
PPTX
Chapter_One.pptx of computer organization and
PPTX
B sc cs i bo-de u-iii combitional logic circuit
PPT
LOGIC GATES
PDF
logic gates By ZAK
PPT
Chapter1.ppt
PPT
computer logic and digital design chapter 1
Lec 2 digital basics
logic gates functions.pptx
unit-2_logic_gates_functions.ppt
Digital electronics nandhini kusuma
Digital electronics nandhini kusuma
9. logic gates._rr
vhdl.ppt Verilog Hardware Description Language
class xi pptx-1.pptx
Logic gate implementing without using ICs by Nimay Giri
combinational _logic_circuit_digital.pptx
2 gates
Chapter04.ppt
Lecture-4 Logic Gates about the output device
Chapter_One.pptx of computer organization and
B sc cs i bo-de u-iii combitional logic circuit
LOGIC GATES
logic gates By ZAK
Chapter1.ppt
computer logic and digital design chapter 1
Ad

More from university of education,Lahore (20)

PPT
Activites and Time Planning
PPT
Classical Encryption Techniques
PPT
Activites and Time Planning
PPTX
OSI Security Architecture
PPTX
Network Security Terminologies
PPT
Project Scheduling, Planning and Risk Management
PPTX
Software Testing and Debugging
PPTX
PPT
Enterprise Application Integration
PPTX
PPTX
Itertaive Process Development
PPTX
Computer Aided Software Engineering Nayab Awan
PPTX
Lect 2 assessing the technology landscape
PPTX
system level requirements gathering and analysis
Activites and Time Planning
Classical Encryption Techniques
Activites and Time Planning
OSI Security Architecture
Network Security Terminologies
Project Scheduling, Planning and Risk Management
Software Testing and Debugging
Enterprise Application Integration
Itertaive Process Development
Computer Aided Software Engineering Nayab Awan
Lect 2 assessing the technology landscape
system level requirements gathering and analysis

Recently uploaded (20)

PPTX
PPT- ENG7_QUARTER1_LESSON1_WEEK1. IMAGERY -DESCRIPTIONS pptx.pptx
PDF
Supply Chain Operations Speaking Notes -ICLT Program
PDF
Anesthesia in Laparoscopic Surgery in India
PDF
01-Introduction-to-Information-Management.pdf
PDF
O5-L3 Freight Transport Ops (International) V1.pdf
PDF
STATICS OF THE RIGID BODIES Hibbelers.pdf
PDF
TR - Agricultural Crops Production NC III.pdf
PPTX
1st Inaugural Professorial Lecture held on 19th February 2020 (Governance and...
PDF
Sports Quiz easy sports quiz sports quiz
PDF
Insiders guide to clinical Medicine.pdf
PDF
Basic Mud Logging Guide for educational purpose
PPTX
Pharmacology of Heart Failure /Pharmacotherapy of CHF
PPTX
Final Presentation General Medicine 03-08-2024.pptx
PPTX
Lesson notes of climatology university.
PDF
ANTIBIOTICS.pptx.pdf………………… xxxxxxxxxxxxx
PDF
Pre independence Education in Inndia.pdf
PDF
Abdominal Access Techniques with Prof. Dr. R K Mishra
PPTX
GDM (1) (1).pptx small presentation for students
PDF
grade 11-chemistry_fetena_net_5883.pdf teacher guide for all student
PDF
Saundersa Comprehensive Review for the NCLEX-RN Examination.pdf
PPT- ENG7_QUARTER1_LESSON1_WEEK1. IMAGERY -DESCRIPTIONS pptx.pptx
Supply Chain Operations Speaking Notes -ICLT Program
Anesthesia in Laparoscopic Surgery in India
01-Introduction-to-Information-Management.pdf
O5-L3 Freight Transport Ops (International) V1.pdf
STATICS OF THE RIGID BODIES Hibbelers.pdf
TR - Agricultural Crops Production NC III.pdf
1st Inaugural Professorial Lecture held on 19th February 2020 (Governance and...
Sports Quiz easy sports quiz sports quiz
Insiders guide to clinical Medicine.pdf
Basic Mud Logging Guide for educational purpose
Pharmacology of Heart Failure /Pharmacotherapy of CHF
Final Presentation General Medicine 03-08-2024.pptx
Lesson notes of climatology university.
ANTIBIOTICS.pptx.pdf………………… xxxxxxxxxxxxx
Pre independence Education in Inndia.pdf
Abdominal Access Techniques with Prof. Dr. R K Mishra
GDM (1) (1).pptx small presentation for students
grade 11-chemistry_fetena_net_5883.pdf teacher guide for all student
Saundersa Comprehensive Review for the NCLEX-RN Examination.pdf

Boolean Logic

  • 1. Boolean Logic  Basics  Combinational Circuits  Sequential Circuits Inam Ul-Haq Senior Lecturer in Computer Science University of Education Okara Campus Inam.bth@gmail.com Member at IEEE & ACM Thanks to Adapted from the slides prepared by S. Dandamudi for the book, Fundamentals of Computer Organization and Design.
  • 2. Introduction to Digital Logic Basics  Hardware consists of a few simple building blocks  These are called logic gates  AND, OR, NOT, …  NAND, NOR, XOR, …  Logic gates are built using transistors  NOT gate can be implemented by a single transistor  AND gate requires 3 transistors  Transistors are the fundamental devices  Pentium consists of 3 million transistors  Compaq Alpha consists of 9 million transistors  Now we can build chips with more than 100 million transistors
  • 3. Basic Concepts  Simple gates  AND  OR  NOT  Functionality can be expressed by a truth table  A truth table lists output for each possible input combination  Precedence  NOT > AND > OR  F = A B + A B = (A (B)) + ((A) B)
  • 4. Basic Concepts (cont.)  Additional useful gates  NAND  NOR  XOR  NAND = AND + NOT  NOR = OR + NOT  XOR implements exclusive-OR function  NAND and NOR gates require only 2 transistors  AND and OR need 3 transistors!
  • 5. Basic Concepts (cont.)  Proving NOR gate is universal • Proving NAND gate is universal
  • 6. Logic Chips (cont.)  Integration levels  SSI (small scale integration)  Introduced in late 1960s  1-10 gates (previous examples)  MSI (medium scale integration)  Introduced in late 1960s  10-100 gates  LSI (large scale integration)  Introduced in early 1970s  100-10,000 gates  VLSI (very large scale integration)  Introduced in late 1970s  More than 10,000 gates Explore how many transistors in SSI? Explore how many transistors in MSI? Explore how many transistors in LSI? Explore how many transistors in VLSI?
  • 7. Logic Functions  Logical functions can be expressed in several ways:  Truth table  Logical expressions  Graphical form
  • 8. Logic Functions (cont.) Truth Table A B C F 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1  Logical expression form F = A B + B C + A C Graphical Form
  • 9. Logical Equivalence  All three circuits implement F = A B function
  • 10. Logical Equivalence  Derivation of logical expression from a circuit(graphical form)  Trace from the input to output  Write down intermediate logical expressions along the path  (write down truth table of expression F3)
  • 11. Logical Equivalence (cont.)  Proving logical equivalence: Truth table method  (write down graphical form from below truth table) A B F1 = A B F3 = (A + B) (A + B) (A + B) 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1
  • 12. Boolean Algebra (2nd method) (Prove each property through truth table)
  • 13. Boolean Algebra (cont.) (Prove each property through truth table)