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!

u ∨ ((h ∨ e) → t)

And here is a random strong Kleene valuation!

Atomic Value
e *
h T
t *
u *
What value does this formula have on this valuation?