Propositional Equivalences | Normal Forms | Mathematical Logic | Maths for CS | CS Connect 21

This video discusses the various logical equivalences involving basic logic operations, conditional statements and biconditional statements. It also discusses propositional normal forms along with satisfiability concept.

00:00 Intro
00:10 Tautology, Contradiction and Contingency
00:13 -tautology
01:25 -contradiction
02:09 -contingency
03:34 Logical Equivalence
05:19 How to determine whether two compound propositions are equivalent?
06:15 Laws involving logical operations and, or, not
14:59 Laws involving Conditional statements
20:50 Involving Biconditional statements
24:21 Propositions in Normal Forms
28:14 Satisfiability
31:25 Practice Problems
31:28 1. Use a truth table to verify De Morgan's laws
34:13 2. Use De Morgan's laws to find the negation of the statements
36:45 3. Show that the condition statement is a tautology by using truth table and by applying a chain of logical identities
40:39 4.a. Show that the logical expressions are logically equivalent (3 variables)
45:22 4.b. Show that the logical expressions are not logically equivalent (4 variables)
49:03 5. Find the dual of the compound propositions
50:38 6. Find a compound proposition logically equivalent to implication expression using only the peirce arrow logical operator
55:30 7. Find an equivalent specification that involves disjunctions and negations but not conditional statements
59:57 8. Determine whether the compound propositions are satisfiable

Mathematical Logic Playlist:
https://www.youtube.com/playlist?list=PLQqPPVnzZIy530Gv2T_2gZjgW68JjTjkh

Mathematics for Computer Science Playlist:
https://www.youtube.com/playlist?list=PLQqPPVnzZIy6qB_345OS7qzKyoJjj1urI

CS Connect Playlist:
https://www.youtube.com/playlist?list=PLQqPPVnzZIy5BmFckmCIEAysYf0zDwQiB

CS Connect File:
https://docs.google.com/presentation/d/e/2PACX-1vToDoGrjlp8KcxOtP1HT5wJ0ciZrIakYbfSL_jqzRN5-3DaRtDA6LsRYxz_a9Hct7CzgnHcE3CIalt2/pub

Видео Propositional Equivalences | Normal Forms | Mathematical Logic | Maths for CS | CS Connect 21 канала Computer Science Brainery