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

Evaluate in the Dunn-Belnap structure

Here is a random formula!

n → (((u ∧ t) → u) → y)

And here is a random Dunn-Belnap valuation!

Atomic Value
n N
t F
u F
y F
What value does this formula have on this valuation?