Scribd
Upload
114 views11 pages

CS381 Review 1: Gongjun Yan

This document provides a review of key concepts in propositional logic and logic symbols including proposition, logic operators like and/or/not, truth tables, tautologies, contradictions, logical equivalences, DeMorgan's laws, and methods for proving logic statements using truth tables, logic rules, and Venn diagrams. It covers logic symbols and definitions, truth tables, logical equivalences like double negatives and distributive properties, and more advanced topics like idempotent, absorption, identities, and proofs using different techniques.

Uploaded by

gbland
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
114 views11 pages

CS381 Review 1: Gongjun Yan

This document provides a review of key concepts in propositional logic and logic symbols including proposition, logic operators like and/or/not, truth tables, tautologies, contradictions, logical equivalences, DeMorgan's laws, and methods for proving logic statements using truth tables, logic rules, and Venn diagrams. It covers logic symbols and definitions, truth tables, logical equivalences like double negatives and distributive properties, and more advanced topics like idempotent, absorption, identities, and proofs using different techniques.

Uploaded by

gbland
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 11

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

You might also like