11.b
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 i sve podformule koje su nam potrebne za postepenu izgradnju složene formule.
Na osnovu tablice istinitosti, proveravamo da li je formula uvek tačna (tautologija).
Kako su u poslednjoj koloni tablice sve vrednosti istinite (), zaključujemo da je formula tautologija.