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!! :)