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!

w ∨ (s ∨ ¬(y → (j → x)))

And here is a random Dunn-Belnap valuation!

Atomic Value
j N
s F
w F
x B
y T
What value does this formula have on this valuation?