6
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 odredimo sve moguće kombinacije istinitosnih vrednosti za proste iskaze i a zatim računamo vrednosti za podformule i
Na osnovu poslednje kolone tablice istinitosti, možemo zaključiti da li je formula tautologija. Formula je tautologija ako i samo ako su sve vrednosti u poslednjoj koloni tačne ().
Kako se u poslednjoj koloni pojavljuju i vrednosti i vrednosti zaključujemo da formula nije tautologija.