Check if Two Logic Statements are Equivalent

This video showcases how to check if two logical statements are semantically equivalent. We will use (P and (Q implies P)) and the other expression: ((P and Q) or (!p)) to to this.

⏰ Timeline 00:00 Exercise 00:15 Proof by equivalent transformations 01:50 Proof by truth table

🔢 Formulas to equivalency (P and (Q implies P)) ((P and Q) or (!p))

📜 All Discrete Mathematics Exercises https://www.youtube.com/playlist?list=PLY9Po-aXYcD6LdOzLeBhcHIShPwCQNeSD

📜 All Linear Algebra Exercises https://www.youtube.com/playlist?list=PLY9Po-aXYcD5BnL_9CcYy421JLvwn9XHH ... https://www.youtube.com/watch?v=_MFnaWX_x3Q