импликанта

«покрытие» одного или нескольких минтермов суммой произведений логической функции в булевой логике