AIR UNIVERSITY
DEPARTMENT OF COMPUTER SCIENCE
                         LAB NO:                 2
Student Name: Muhammad Junaid Nazir                     Reg. No: 200828
Objective: Proving De Morgan’s Law using Proteus.
LAB ASSESSMENT:
                              Excellent   Good       Average   Satisfactory   Unsatisfactory
         Attributes
                                 (5)       (4)         (3)          (2)             (1)
  Ability to Conduct
  Experiment
  Ability to assimilate the
  results
  Effective use of lab
  equipment and follows the
  lab safety rules
Total Marks:                                          Obtained Marks:
LAB REPORT ASSESSMENT:
                              Excellent   Good       Average   Satisfactory   Unsatisfactory
         Attributes
                                 (5)       (4)         (3)          (2)            (1)
  Data presentation
  Experimental results
  Conclusion
Total Marks:                                          Obtained Marks:
Date:                                                     Signature
pg. 1
                                         De Morgan’s Law
Description:
Laws in Boolean expressions are used to reduce expressions such as De Morgan’s Laws:
   (a) (A.B) = A’ + B’ (case : 1)
   (b) (A + B) = A’.B’ (case : 2)
       Let prove these laws using Proteus software for Boolean expressions
Truth Table:                   (Case: 1)
           A                         B                     Y = (AB)’              Y = (A’ + B’)
           0                         0                         1                        1
           0                         1                         1                        1
           1                         0                         1                        1
           1                         1                         0                        0
Proof on Proteus:              (Case: 1)
pg. 2
Truth Table:        (Case: 2)
         A               B      Y = ()   Y = ()
         0               0        1        1
         0               1        0        0
         1               0        0        0
         1               1        0        0
Proof on Proteus:   (Case: 2)
pg. 3