Implikant funkcji boolowskiej f to 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.