Reduktion af kombinatorisk logik.

   

Opdateret af Bent Arnoldsen d. 19.1.2005