Download digital_logic

In discrete math you studied a form of mathematical logic called propositional logic. What role does
propositional logic play in digital logic we are studying in this unit?
Logic plays a special role in computer science, it has been called “the calculus of computer
science since Propositional logic provides you with a way of representing logic by use of
symbols. It is the only way of representing statements mathematically. Propositional logic helps
us come up with the logic gates in digital logics e.g. AND, OR, NOR, XOR logical gates.
Preposition logic provides a way of representing logic in a symbolic notation to be used
extensively to automate reasoning in artificial intelligence which is a topic in artificial
intelligence. An application of area of Propositional logic in computer science include designing
of a circuit.