Logic Flashcards
1
Q
What is the purpose of conjuctive and disjunctive logic in computer science?
A
They make it easier for us to implement logical propositions in computer code.
2
Q
What is a literal?
A
A literal is any element that can be evaluated as true or false
3
Q
What is the definition given in your online book of conjunctive normal form?
A
It’s a logical formula that is a single conjunction of any number of disjunctions.
Eg,
(p V ~p) /\ (r V s)
There can be any number of disjunction as long as they re joined by a conjunction. Even a proposition like p or ~p qualifies as a xonjunctive normal form in the trivial case.
