ITL
© 1996-2018







II.5 Semantic Boolean Operators

Semantic Boolean operators [Slide 35]

Truth tables for Semantic Boolean operators:

  • not :

    X
    not X


    tt
    tt
  • and :

    X
    Y
    X and Y



    tt
    tt
    tt
    tt
    tt
  • or :

    X
    Y
    X or Y



    tt
    tt
    tt
    tt
    tt
    tt
    tt
  • if :

    X
    Y
    X if Y



    tt
    tt
    tt
    tt
    tt
    tt
    tt
  • iff :

    X
    Y
    X iff Y



    tt
    tt
    tt
    tt
    tt
    tt







2018-02-25
Contact | Home | ITL home | Course | Proofs | Algebra | FL