Prof.

dr Esad Jakupovi
1. U nizu formula
odrediti one koje su tautologije.

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





3. Provjeriti:


4. Dokazati
a.)

b.)

( ) ( ) ( )
, , p p , p p ,... p p p p p p
( ) ( ) ( )
( ) ( ) ( )
.
I p q q r r p
p q q r r p
= . v . v .
v . v . v
( ) ( ) ( ) ( )
1 2 1 2
, ,..., ... ...
n n
F F F F F F F F = =
1 2 1 2 1
, ,..., , ,...,
n n n
F F F F F F F F F

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

6. Odrediti broj komutativnih binarnih logikih operacija.

7. Odrediti broj samodualnih Booleovih funkcija od n promijenljivih.

8. Dokazati da je { } baza iskazne algebre.

9. Izraziti Shefferovu operaciju pomou Lukasiewiezeve i obrnuto.

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

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



( )
1 2 3
, , f p p p
( ) ( )
1,0,1 0,1,1 1 f f = =
,
{ }
1 2
, ,...,
k
f f f
{ }
* * *
1 2
, ,...,
k
f f f