Выполнимость в математической логике
Выполнимость в математической логике (Satisfiability) – это элементарные понятия семантики. Формула выполнима, если можно найти интерпретацию (модель), которая делает формулу истинной. Формула действительна, если все интерпретации