Digital logic SOLUTION

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?