The formula or sentences that can be maid true by certain valuation function are called
A)valid formula
B)satisfiable formula
C)unsatisfiable formula
D)invalid formula

Question

Quizplus · Accepted Answer

Satisfiable formulas are those for which there exists at least one valuation (assignment of truth values to variables) that makes the formula true. This means there is a way to assign truth values to make the entire expression true, distinguishing them from unsatisfiable formulas, which cannot be made true under any valuation.

The Formula or Sentences That Can Be Maid True by Certain