Logic gates
Expert Systems Principles and Programming, Fourth Edition
Propositional Logic. Topics Propositional calculus Deductions and prove Logical equivalence Tautologies Satisfiability.
Introduction to Logic & Set Theory Martin Russell EE1J2 Discrete Mathematics.
The Representation of Knowledge
Introduction to Logic & Set Theory Discrete Mathematics.
Chapter 2: The Representation of Knowledge Expert Systems: Principles and Programming, Fourth Edition.