Формула логики высказываний считается выполнимой, если ее переменным можно присвоить логические значения таким образом, чтобы формула стала истинной.
В логике высказываний формула выполнима, если используемым в ней переменным можно присвоить значения, чтобы она стала истинной.