7.6 Normálformák és függvényrendszerek
A kétvéltozós Boole-féle függvényeket tartalmazó táblázatban láttuk, hogy minden kétvéltozós Boole-féle függvény felírható a negáció, konjunkció valamint diszjunkció műveleteivel. Megmutatható, hogy tetszőleges n-változós Boole-féle függvény felírható olyan formulával, melyben csak az adott n változó szerepel és műveletként a negációt, konjunkciót valamint diszjunkciót használjuk. A továbbiakban két speciális formulát ismertetünk.