EXAMENES DE SEPT

Buenas!! vereis, estoy estudiando para los exámenes de sept , estudio informatica en malaga y tengo la asignatura de sistemas electronicos digitales (entre otras ), creo que la yevo bien, y de aki al exam podré pulirla, pero no consigo averiguar como hacer las malditas formas normales (conjuntiva y disyuntiva), ¿solo es usando el algreba de bool,? esque me lio, me lio..

A mi otra duda es con la maltia suma irredundante, esa si que no tengo ni zorra, lo unico que se esque se empieza con los IPE, a partir de ahi...., esque estuve buscando por google, pero nada, solo definiciiones y bla bla bla, nada de como se hace o algún ejercicio resuelto por ahi.

Bueno, aver si alguno sabe algo!! no quiero suspender!!!! (denuevo) D