implikant funkcji boolowskiej 1

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.