implikant prosty zawierający co najmniej jeden minterm nie występujący w żadnym innym implikancie prostym.

iloczyn literałów, taki że dla wszystkich wektorów binarnych x=(x1, ... , xn), dla których jest on równy jedności, funkcja f jest równa jedności.