9.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 De Morganov zakon i odrediti da li je formula tautologija:
Prvo ćemo odrediti sve moguće kombinacije istinitosnih vrednosti za iskaze i a zatim izračunati vrednosti za negacije i
Sledeći korak je određivanje istinitosne vrednosti konjunkcije i njene negacije što predstavlja levu stranu ekvivalencije.
Sada računamo desnu stranu ekvivalencije, odnosno disjunkciju negacija
Na kraju, upoređujemo levu i desnu stranu formule pomoću operacije ekvivalencije Ako su vrednosti u poslednjoj koloni uvek tačne (), formula je tautologija.
Pošto su sve vrednosti u poslednjoj koloni tablice istinitosti tačne (), zaključujemo da je data formula tautologija.