18.a
Tekst zadatka namerno ne prikazujemo jer želimo da podržimo izdavača Krugove zbirke. Možeš pronaći tekst zadatka u zbirci.
Ispitati da li je formula tautologija:
Da bismo ispitali da li je data iskazna formula tautologija, formiraćemo istinitosnu tabelu za sve moguće kombinacije istinitosnih vrednosti iskaznih slova i
Uvešćemo oznake za podformule radi lakšeg i preglednijeg zapisivanja u tabeli:
Popunjavamo istinitosnu tabelu red po red. Koristićemo oznake za tačno i za netačno.
Analiziramo dobijenu tabelu. U trećem redu, za kombinaciju vrednosti i vidimo da podformula ima vrednost a podformula vrednost
Zbog toga glavna formula za ovu kombinaciju ima vrednost netačno ().
Zaključujemo da formula nije tačna za sve moguće kombinacije istinitosnih vrednosti iskaznih slova, pa samim tim nije tautologija.