[kqr]

> It doesn’t teach things such as product of sums and kmaps which allows you to methodically find the Boolean equation for any arbitrary output

This is useful beyond low-level work. Every now and then I review code where the author has a complicated boolean condition (often in combination with auth and caching) and there's a much simpler way to write it -- that also has a more intuitive interpretation!

The same thing goes for finite state machines, of course, but the refactorings suggested are often trickier to apply in a late-stage code review.