DISKRETNE MATEMATIKE STRUKTURE

ISKAZNA ALGEBRAZADACI 3

Prof. dr Esad Jakupovi3.6. ZADACIU nizu formula odrediti one koje su tautologije.

Da li su prekidake mree na sl.1 i ekvivalentne?

Provjeriti:

Dokazatia.)b.)

Odrediti savrenu disjunktivnu i savrenu konjunktivnu normalnu formu za Booleovu funkciju ako je dok je za ostale vrijednosti argumenata vrijednost funkcije jednaka 0.

Odrediti broj komutativnih binarnih logikih operacija.

Odrediti broj samodualnih Booleovih funkcija od n promijenljivih.

Dokazati da je { } baza iskazne algebre.

Izraziti Shefferovu operaciju pomou Lukasiewiezeve i obrnuto.

Izraziti konjunkciju, disjunkciju, negaciju, implikaciju i ekvivalenciju pomou a) Luka-siewiezeve operacije i b) Shefferove operacije.

Ako skup funkcija predstavlja bazu iskazne algebre dokazati da skup odgovarajuih dualnih funkcija takoe predstavlja bazu iskazne algebre.