MANA w (1) - Word * EA A A A --- A WS H 4.4 Homework1 A Quick Recap: Propositional Logic (Equivalences) Symbols (eg, letters, words) te wed to represent facts about the wodd ce "P" tepesents the fact "Alike chocolate" "O represents the fact "Ali has chocolate These ate called atomie propositions Connectives: not, AND, OR, implies - Propositional symbols, P, Q, R... The False Statements or encies in the language ate Counded from stomac propositions and logical connectives Look at this Truth Table A AAB AVB AB True True False True The Trud True Fabe False True False False Thie False False Trar Hale True False Troc Do this: Apply Truth Table to proof the following Laws 1. Equivalences PP . ( PQ) (PO) 2. The contra positive law 3 De Mornan's law BB G BP HUAWEI