w matematyce: taki iloczyn literałów, że dla wszystkich wektorów binarnych, dla których jest on równy jedności, funkcja f jest równa jedności