[[Algebra boola]]

Kanoniczna forma sumacyjna: oczekujemy postaci sumy mintermów.

Postać standardowa funkcji boolowskiej może być sumacyjna lub iloczynowa, mogą występować termy o różnej liczbie literałów (czyli niekoniecznie max/mintermy).

[[Minimalizacja funkcji logicznych]]