Scribd Logo
Upload

Welcome to Scribd!

  • 38 views

    Lecture 10 PDF

    Uploaded by

    Najam Ul Saqib
    The document contains 39 pages discussing logic and truth tables. It covers topics such as truth tables for logical operators like negation and conjunction, De Morgan's laws, logical equivalence, tautologies, contradictions, and other laws of logic. Examples and exercises are provided to illustrate various logic concepts and proofs.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd

    Lecture 10 PDF

    Uploaded by

    Najam Ul Saqib
    38 views39 pages
    The document contains 39 pages discussing logic and truth tables. It covers topics such as truth tables for logical operators like negation and conjunction, De Morgan's laws, logical equivalence, tautologies, contradictions, and other laws of logic. Examples and exercises are provided to illustrate various logic concepts and proofs.

    Original Title

    Lecture 10.pdf

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    The document contains 39 pages discussing logic and truth tables. It covers topics such as truth tables for logical operators like negation and conjunction, De Morgan's laws, logical equivalence, tautologies, contradictions, and other laws of logic. Examples and exercises are provided to illustrate various logic concepts and proofs.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    38 views39 pages

    Lecture 10 PDF

    Uploaded by

    Najam Ul Saqib
    The document contains 39 pages discussing logic and truth tables. It covers topics such as truth tables for logical operators like negation and conjunction, De Morgan's laws, logical equivalence, tautologies, contradictions, and other laws of logic. Examples and exercises are provided to illustrate various logic concepts and proofs.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    of 39

    Truth Table

    CS-708 1
    Truth Table for ~p^q - 2

    CS-708 2
    Truth Table for ~p^q – 2a

    CS-708 3
    Truth Table for ~p^q – 2b

    CS-708 4
    Truth Table for ~p^q – 2c

    CS-708 5
    ~p ^ (q v~ r) – (2 - 3a)

    CS-708 6
    ~p ^ (q v~ r) – 2 - 3b

    CS-708 7
    ~p ^ (q v~ r) – 2 - 3c

    CS-708 8
    ~p ^ (q v~ r) – 2 - 3d

    CS-708 9
    Truth Table for ~p (p v~ q) – 2 - 3e
    v

    CS-708 10
    Truth Table for (pvq) ^~ (p^q) – 2 - 4a

    CS-708 11
    Truth Table for (pvq) ^~ (p^q) – 2 -
    4c

    CS-708 12
    Truth Table for (pvq) ^~ (p^q) – 2 -
    v v
    4e

    CS-708 13
    Truth Table for (pvq) ^~ (p^q) – 2 -
    4f

    CS-708 14
    Exclusive OR – 2 - 5

    CS-708 15
    Symbols for Exclusive OR – 2 - 5a

    CS-708 16
    Logical Equivalence – 2 - 6

    CS-708 17
    Double Negation ~(~p) ≡ p – 2 - 7

    CS-708 18
    Examples – 2 - 12

    CS-708 19
    Example – 2 - 17c

    CS-708 20
    Example – 2 - 17d

    CS-708 21
    Example – 2 - 17e

    CS-708 22
    De Morgan’s Laws – 2 - 9

    CS-708 23
    De Morgan’s Laws – 2 - 9a

    CS-708 24
    Proof – 2 - 16

    CS-708 25
    Proof – 2 - 16d

    CS-708 26
    Application – 2 - 10

    CS-708 27
    Exercise – 2 - 19

    CS-708 28
    Tautology – 2 - 21

    CS-708 29
    Example – 2 - 21a

    CS-708 30
    Contradiction – 2 - 22

    CS-708 31
    Example – 2 - 22a

    CS-708 32
    Exercise – 2 - 23

    CS-708 33
    Exercise – 2 - 24

    CS-708 34
    Laws of Logic – 2 - 25

    CS-708 35
    Laws of Logic – 2 - 25a

    CS-708 36
    Laws of Logic – 2 - 25b

    CS-708 37
    Laws of Logic – 2 - 25c

    CS-708 38
    Laws of Logic – 2 - 25d

    CS-708 39

    You might also like