ITL
© 1996-2015







4 Semantic Boolean Operators

Truth tables for Semantic Boolean operators:

  • not :     |
-X--|notX--
 tt  |ff
 ff   tt
  • and :         |
-X---Y--|X-andY--
 tt  tt |tt
 tt  ff  |ff
 ff   tt |ff
 ff   ff   ff  or :        |
-X---Y-|X--orY--
 tt   tt |tt
 tt   ff |tt
 ff   tt |tt
 ff   ff  ff
  • if :        |
-X--Y--|X--im-plies-Y--
 tt  tt |tt
 tt  ff  |ff
 ff  tt |tt
 ff  ff   tt  iff :         |
-X---Y--|X-iff-Y-
 tt  tt |tt
 tt  ff  |ff
 ff   tt |ff
 ff   ff   tt