Practice Clause And Literal Definitions (3.7) - SAT Problem - Discrete Mathematics

Practise this section

8 questions

Flashcard drill
3 cards from this section. Quick, good the night before a test.
Exercise
6 questions · about 4 min · pass mark 70%. Hints available.
Sign up to start the exercise
Quiz
2 questions · about 1 min · pass mark 70%. Hints available.
Sign up to start the quiz

6 sample questions

Question 1.
Define a satisfiable proposition.
Show hintHide hint
Think about conditions under which a proposition can be true.
Question 2.
What is a clause?
Show hintHide hint
Consider how literals group together.
3Question 3.
Can a proposition be satisfiable if it is always false?
- True
- False
Show hintHide hint
Remember the definition of unsatisfiable propositions.
4Question 4.
What is CNF?
- A disjunction of clauses
- A conjunction of clauses
- A single literal
Show hintHide hint
Think about how logical expressions are structured.
Question 5.
Given the logical expression (p OR q) AND (¬r OR s), show how to convert it into CNF.
Show hintHide hint
Check for disjunctions within conjunctions.
Question 6.
Create a satisfiable and an unsatisfiable proposition and explain why they fit the definitions.
Show hintHide hint
Remember the definitions and look for conflicts.

4 more questions in this section. Enroll free to practise them all.