7
Tekst zadatka namerno ne prikazujemo jer želimo da podržimo izdavača Krugove zbirke. Možeš pronaći tekst zadatka u zbirci.
Sastaviti tablicu istinitosti za sledeću formulu i odrediti da li je ona tautologija:
Prvo identifikujemo osnovne iskaze i a zatim određujemo istinitosne vrednosti za podformule i
Na osnovu poslednje kolone u tablici, vidimo da je formula istinita za sve moguće vrednosti iskaza i
Pošto su sve vrednosti u poslednjoj koloni tačne (), zaključujemo da je formula tautologija.