12.a
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 tautologija:
Prvo identifikujemo sve proste iskaze u formuli. To su i Kako imamo tri prosta iskaza, tablica će imati redova kombinacija istinitosnih vrednosti.
Na osnovu poslednje kolone u tablici, gde su sve vrednosti tačne (), zaključujemo da je formula tautologija. Ova formula predstavlja zakon asocijativnosti za disjunkciju.