Mathematics For Computer Science

• Boolean Algebra
  • Boolean Postulates
  • Laws
    • Annulment Law
      • Zero Annulment
      • One Annulment
    • Identity Law
      • OR Gate
      • AND Gate
    • Idempotent Law
      • OR Gate
      • AND Gate
    • Complement Law
      • OR Gate
      • AND Gate
    • Commutative Law
      • Proof
    • Involution (Double Negation) Law
    • Distributive Laws
      • Proof \(A(B+C) = A \cdot B + A \cdot C\)
      • Proof \(A + B \cdot C = (A + B) \cdot (A + C)\)
    • Absorptive Law
    • Associative Law
      • OR
      • AND
    • De Morgan’s Laws
      • Proof
  • AND Operation and its rules
  • OR Operation and its rules
• Logic Gates
  • NAND GATE
  • NOT GATE
  • OR GATE