Scribd Logo
Upload

Welcome to Scribd!

  • CS381 Review 1: Gongjun Yan

    Uploaded by

    gbland
    24 views11 pages
    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.

    Original Description:

    Original Title

    review%201

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    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.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    24 views11 pages

    CS381 Review 1: Gongjun Yan

    Uploaded by

    gbland
    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.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 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