CS381 Review 1 Gongjun Yan
Concept statistic • • • • • • • • • • •
Proposition Logic Symbols & Definitions: and, or, not Truth table Translation (symbolic->logic) Xor Tautological, Contradictory Logical Equivalence Double Negative Commutative Associative Distributive
More Concept statistic • Logical Equivalences – – – – – –
• • • •
Idempotent Absorption Identity Negation Universal Bound Negations of t and c
Simplification of Logic Proposition DeMorgan Law Venn Diagrams Prove by Truth Tables & by Rules & venn diagram