You're not logged in. Exercises work as usual, but progress is not tracked.
Here is a random formula!
¬((p ∧ h) ∨ (q → c))
And here is a random strong Kleene valuation!