Aatomid, elemendid mis katavad vähimat elementi. Loogikaalgebra: Loogikaalgebra on boolei algebra lihtsaim juht, kus alushulgaks on {0 1}. Loogikamuutuja saab omada kas väärstust 0 või 1. Loogikaavaldis koosneb loogikamuutujast, konstanditest ja tehetemärkidest. N-muutuja loogikafunktsioon on vastavus nmuutuja boolei ruumist {01}^n loogikaväärstuste hulka {01}. Agrumentvektor on loogikamuutujate komplekt, mis esitab funktsiooni igale üksikule muutujale omistatavat väärtust ning omandab ka funktsioon ise väärtuse. Algterm on avaldise koosseisu kuuluv muutuja, inversioon või konstant. Keerukus on koosseisu kuuluvate algtermide arv. Klassid: nullisäilitav, ühtesäilitav, pööratav(muutujate inverteerimine == funktsiooni inverteerimine), monotoone(pole inversiooniga algterme), lineaarne(?).