Является ли импликанта простой

Выкидваем из неё множитель.

Является ли система импликант полной

Если эта система — СокрДНФ, то автоматом является.

Если нет, то вот: строим дизъюнкцию этих импликант и если она равна функции f, то является полной.