using System;

class Tautologija {
  static void Main() {
    // proveravamo da li je ova formula tautologija:
    //     !(p && q && r) => (!p || !q || !r)
    // kako C# nema implikaciju proveravamo njoj ekviv. formulu:
    //     (p && q && r) || (!p || !q || !r)
    bool[] LogVrednosti = {false, true};
    bool tautologija = true;
    foreach(bool p in LogVrednosti) {
      foreach(bool q in LogVrednosti) {
        foreach(bool r in LogVrednosti) {
          tautologija &= (p && q && r) || (!p || !q || !r);
        }
      }
    }
    if(tautologija) {
      Console.WriteLine("Formula jeste tautologija");
    }
    else {
      Console.WriteLine("Formula nije tautologija");
    }
  }
}