Для формулы Ф ... называется выполнимая элементарная конъюнкция, из которой Ф следует. (Выберите пропущенное слово для определения)