Lectures related to Finite Systems Expressed with Formulas

Covers Boolean algebra properties, optimization techniques, and the importance of valid groups in Karnaugh maps.

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.

Explains constructing DNF and CNF in propositional logic and their complexity.

Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.

Explores applications of propositional logic, including translations and Boolean search for document queries.

Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.

Covers propositional logic, logical connectives, truth tables, and compound propositions.