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 the meaning of the formula:
(⊥ ∨ (⊤ ∨ (⊤ ⊥))).
The meaning of the above formula is ⊤.