A zárthelyi hat feladatot fog tartalmazni. Az első három feladat az első zh anyagából lesz (ehhez lásd az előző zh-hoz adott mintafeladatokat). A másik három feladat típusához az alábbi feladatsor ad segítséget.
Feladat: x, y, z, t legyen négy logikai érték ({0,1} halmaz elemei). xy és zt is egy-egy kettes számrendszerben felírt számként fogható fel (most 0-val is kezdődhet egy szám leírása). Összegük (esetleges 0-kkal kiegészítve) kettes számrendszerben legyen uvw. Írjuk fel u-t, v-t és w-t is egy-egy formulával/logikai kifejezéssel (x,y,z,t függvényében).
Feladat: Legyen a, b, x0, x1, x2 x3 hat darab bit. Az ab bitsorozat a 0, 1, 2, 3 számok valamelyikét írja le. A fenti hat bit ismeretében írjuk fel xab-t egy Boole-formula segítségével.
Feladat: Egy négy elemű V halmazból (például V={1,2,3,4}) képezhető hat darab pár mindegyikének feleljen meg hat változó: x12, x13, x14, x23, x24, x34. A változóknak 0-1 értékeket adva egy gráfot írunk le (0: nem összekötöttség, 1: összekötöttek). Az, hogy ez a gráf páros az egy Boole-függvény. Írjuk ezt el egy Boole-formulával.
Feladat: Legyen (P,<) egy részbenrendezett halmaz. Ekkor P-ben van maximális (nem bővíthető) lánc.
Feladat: Legyen G egy végesen generált csoport. Vegyük egy H valódi részcsoportját. Ekkor H-t tartalmazza egy maximális valódi részcsoport.
Feladat: Legyen G egy V vektortér generátorhalmaza (G elemiből képzett lineáris kombinációk kiadják V-t). Ekkor G tartalmaz bázist.
Feladat: Igazolja, hogy minden (V,E) végtelen összefüggő gráf tartalmaz olyan összefüggő részgráfot V-n, amely bármely élét elhagyva nem összefüggő gráf lesz.
Feladat: Egy végtelen összefüggő gráf minden pontjának véges a foka. Igazoljuk, hogy bármelyik pontjából indul végtelen út.