(спец.) О логической формуле или условии: такое, для которого существует набор значений переменных, при котором оно истинно; удовлетворимый. В математической логике выполнимая формула может быть истинна при некотором распределении значений переменных.