Melyek a Boole algebra axiómái, alapműveletei, és alaptételei?
Mi az igazságtáblázat, és mire használható?
Mire vonatkoznak a de Morgan tételek?
Hogyan írhatók fel a logikai függvények kanonikus alakjai az igazságtáblázatból?
Melyek az algebrai egyszerűsítés feltételei?
A függvény egyszerűsítésének milyen grafikus módszerét ismeri?