 |
| |||
| точка единичной импликации (представляет собой альтернативный вариант назначения переменных и дизъюнкт, запомненный в первой такой точке гарантированно имеет наименьший размер и обеспечивает наибольшее уменьшение уровня решени Alex_Odeychuk) | |||
| доминатор импликационного графа (Alex_Odeychuk) | |||