Conjunctive Normal Form - First-order Logic

First-order Logic

In first order logic, conjunctive normal form can be taken further to yield the clausal normal form of a logical formula, which can be then used to perform first-order resolution.

Read more about this topic:  Conjunctive Normal Form

Famous quotes containing the word logic:

    “There is no morality by instinct.... There is no social salvation—in the end—without taking thought; without mastery of logic and application of logic to human experience.”
    —Katharine Fullerton Gerould (1879–1944)