Programozott tananyag:
A logikai függvények egyszerűsítése
Az egyszerűsítés azt jelenti, hogy a logikai algebra megismert tételeinek felhasználásával olyan alakot nyerhetünk, amelyben kevesebb művelet, és/vagy kevesebb változó szerepel.
Diszjunktív alakú függvény
A logikai algebra tárgyalásakor már bemutattunk néhány átalakítási eljárást. Itt egy újabb példa segítségével végezzük el a feladat legegyszerűbb alakjának megkeresését.
Konjunktív alakú függvény
Hasonlóan az előző egyszerűsítéshez itt is végezhetünk – a disztributív tulajdonság alapján - "kiemeléseket" a maxtermekből.
Függvények azonossága
Megállapíthatjuk, hogy az igazság- táblázatból rendezett ÉS-VAGY (diszjunktív kanonikus) alakú vagy rendezett VAGY-ÉS (konjunktív kanonikus) alakú logikai függvényt írhatunk fel.