Explores boolean types, logical operators, and control structures in Python, emphasizing the evaluation of expressions and the use of relational operators.
Introduces numbers and booleans in Python, covering numeric types, arithmetic operations, logical operations, and comparisons.
Introduces Python programming basics, covering variables, methods, conditions, loops, and boolean logic.
Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, showing how to construct them and discussing their complexity.
