You're not logged in. Exercises work as usual, but progress is not tracked.

Evaluate in the strong Kleene structure

Here is a random formula!

(¬w → l) ∧ (a → q)

And here is a random strong Kleene valuation!

Atomic Value
a *
l *
q *
w F
What value does this formula have on this valuation?