Isn't there a mistake at the correction? Bas shouldn't turn on when V1 > 0
It’s wrong.
V3 and SR both invert yet LEDs are positive logic.
Even inversions cancel so it is wrong.
Yes for Vi bypassing V3 the FF is negative logic input R and inverted Q out so it is positive logic
Bracket([ inverts negative logic to normal (1)=set ,, ditto reset.
\$~~Vi ~~  \bar{S}~~(S )~~~\bar{R}    ~(R)~~Q~~~\bar{Q}\$
\$&gt;0~~~ 0~~~[1]~~0~~(1)~~1~~1\$
\$&lt;0~~~1~~~[0]~~0~~(0)~~1~~0\$
Due to contention when both RS are active, both outputs are active.
Due to latency in OpAmp lagging S keeps Set active when both SR go off.
The author shud be fired.  No. its a common newbie design mistake.