1.(programming required) Given a proposition ϕ and a truth assignment for each variable in ϕ, evaluate whether ϕ is true or false under this truth assignment.
2. (programming required) Given a proposition ϕ, compute the set of all truth assignments for the variables in ϕ that make ϕ true. (One good approach: use your solution to Exercise 3.36 to compute all the variables in ϕ, then build the full list of truth assignments for those variables, and then evaluate ϕ under each of these truth assignments using your solution to Exercise 3.37.)
Exercise 3.37
(programming required) Given a proposition ϕ and a truth assignment for each variable in ϕ, evaluate whether ϕ is true or false under this truth assignment.
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here