Programozott tananyag:
Logikai változók, és értékük
A logikai algebra csak kétértékű logikai változók halmazán értelmezett.
A Boole algebra axiómái
Az axiómák olyan előre rögzített kikötések, alapállítások, amelyek az algebrai rendszerben mindig érvényesek, viszont nem igazolhatók.
A Boole algebra axiómái - F1
A Boole algebra axiómái - 1. feladat.
A Boole algebra axiómái - F2
A Boole algebra axiómái - 2. feladat.
A Boole algebra axiómái - F3
A Boole algebra axiómái - 3. feladat.