NOTE: This page randomly generates an exercise and its solution. Click here to refresh the page and generate a new exercise. Use the [link] below if you want to return to the same exercise again at a later time. Click here to go back to the main page with the course information and schedule.
Exercise: Determine what combinations of values for x and y make the following formula true:
((xx) ∧ (y ∨ ⊥)).
The following assignments make the formula true:
x = ⊤ and y = ⊤