Interactive discrete math practice? Like ALEKS?

Hi all,

I am about to start in the fall 2024 term, taking the typical first 2 courses of CS161 and CS225.

I, like everyone, took the ALEKS test and studied the modules to improve my score. I eventually got 68 on my third try.

What struck me was how great of a learning tool ALEKS was, it re-taught me all the math I had previously learned (and then some) in a week, and presented it in such a way that it really made sense to me and I even sort of enjoyed it, which is incredible because I always despised doing math work in grade school.

I need that now for Discrete Mathematics! What struck me most about ALEKS was how focused it was on just constant practice and how it translated all these complicated solutions into a simple interactive text box in which you could input easily all the symbols. I cannot seem to find anything like this for Discrete Math, anything where it would ask you to fill out a truth table or re-factor a logical propositional statement using the proper notation ect. And no, ALEKS itself does not seem to offer it.

Does such a thing exist? Interactive like ALEKS? Quizes and practice and explanations of concepts. I know the service Brilliant.com is supposed to be something like this but there too I couldn't seem to find any evidence of them having a "course" or whatever on logical statements of anything called discrete math.