Logic and Truth Tables

Related lectures (28)

Page 2 of 3

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

Covers logical connectives, implication, biconditional, compound propositions, and truth tables.

Introduces propositional logic, logical connectives, implications, and equivalences, with examples and facts about tautology and contradiction.

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

Covers the basics of discrete mathematics, including logic, structures, and algorithms.

Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.

Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.

Covers interesting facts about propositional logic and Sudoku solving strategies.

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