This module is synchronous during class session, but recorded for asynchronous viewing.
Boolean logic involves around variables that take on truth values (true or false) as input. Then, operators act upon those values (much like arithmetic operators on numbers). Operators and variables are combined into expressions that can then be evaluated under different assignments to the variables to determine their output; an expression that evaluates to true is said to be satisfied. The below operator listing seeks to be consistent with Python whenever possible:
In temporal logic, the state of things evolves over time and may take one of several possible paths. Our concern is describing which expressions are satisfied at which times along which of the possible paths. This is fundamental for real-time systems such as self-driving cars (automated control in general, actually).
