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

Sign up to vote on this title
UsefulNot useful