You're not logged in. Exercises work as usual, but progress is not tracked.
Here is a random formula!
((e ∨ t) ∧ f) → (o → (y ∨ b))
And here is a random Dunn-Belnap valuation!