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

Evaluate in the Boolean structure

Here is a random formula!

(¬e → y) ∨ f

And here is a random Boolean valuation!

Atomic Value
e F
f T
y F
What value does this formula have on this valuation?