You're not logged in. Exercises work as usual, but progress is not tracked.
Here is a random formula!
(i ∨ z) → (c ∨ ((a ∧ l) → v))
And here is a random Boolean valuation!