Fall 2023 Formal Methods Proofs of propositional statements by using Logical equivalencies

############################# Video Source: www.youtube.com/watch?v=C-7nyfHcIPM




#############################