Do sada smo se upoznali sa dva načina određivanja da li je neka formula tautologija ili nije. Prvi način je metoda istinitosnih tablica (u kojoj naprosto izračunamo vrednost formule za sve moguće kombinacije istinitosnih vrednosti iskaznih promenljivih) a druga je metoda svođenja na normalnu formu u kojoj složenu formulu najpre pojednostavljujemo u normalnu formu, a […]