Vocabulary Word
Word: disjunction
Definition: act or state of separation; disunity; CF. disjunctive: expressing a choice between two ideas; CF. conjunction; CF. conjunctive
Definition: act or state of separation; disunity; CF. disjunctive: expressing a choice between two ideas; CF. conjunction; CF. conjunctive
Sentences Containing 'disjunction'
Since each clause is a disjunction, this does not harm satisfiability, for if we can find a satisfying assignment for the truncated formula, it can easily be extended to a satisfying assignment for the original formula by reinserting the truncated literals.
