Potrebna pomoc oko ispita

Potrebna mi je pomoc oko nekih pitanje iz teorije iz diskretnih struktura.
Pitanja su sledeca:

Bulovim algebrama (aksiome, primeri, teorema o KDNF,
teorema o reprezentaciji),
Formalni sistemi i Iskazna logika (aksiome, dedukcija,
osnovne leme, potpunost, neprotivrecnost, odlucivost)


a potrebni su mi odgovori...

pa ko zna i moze neka mi pomogne..

HVALA!! :)

Presiceva knjiga sve probleme resava! Ima kod Mise, ja kad sam kupovala pre 2 godine bila je oko 50-ak dinara!

jos samo da je na pmf-u da zna ko je Misa