input: (~P -> Q) v (R -> S)
instruction: Konstruáljunk igazságtáblázatot az adott kifejezéshez.
output: Íme az adott (~P -> Q) v (R -> S) kifejezés igazságtáblája:
  
  | P | Q | R | S | ~P | ~P -> Q | R -> S | (~P -> Q) v (R -> S) |
  |---|---|---|---|----|---------|--------|---------------------|
  | T | T | T | T | T | T | T | T | T | T | T | T | F
  | T | T | T | T | F | F | F | T | F | F | T | T | T |
  | T | T | T | F | T | T | F | T | T | T | T | T | T | T | T
  | T | T | T | F | F | F | F | T | T | T | T | T | T | T
  | T | F | T | T | T | F | T | T | T | T | T | T | T | T
  | T | F | F | T | F | F | F | T | F | F | T | T | T | T
  | T | F | F | F | T | F | T | T | T | T | T | T | T | T
  | T | F | F | F | F | F | F | F | T | T | T | T | T | T | T
  | F | T | T | T | T | T | T | T | T | T | T | T | T | T | T | T
  | F | T | T | T | F | T | T | T | F | T | T | F | T | T | F | T | T
  | F | T | T | F | T | T | T | T | T | T | T | T | T | T | T
  | F | T | T | F | F | F | T | T | T | T | T | T | T | T | T
  | F | F | F | T | T | T | T | F | T | T | T | T | T | T
  | F | F | F | T | F | T | F | F | F | F | F | F | F | T
  | F | F | F | F | F | T | T | F | T | T | T | T | T | T
  | F | F | F | F | F | F | F | T | F | T | T | T | T | T
  
  
  Magyarázat:
  
  Az adott kifejezés több részből áll, és az igazságtábla megalkotásához meg kell határoznunk az egyes részek igazságértékeit az igazságértékek különböző lehetséges kombinációi mellett.
  
  Az első