>
All of which I never see used in a professional capacity for the vast majority of software developers.Anecdotal irony: not 24 hours ago a colleague and I had to reverse engineer a hairy mess of deeply nested if/then/else clauses that should not exist that turned out to be composed mostly of tautologies. I definitely wish to throw books at some people, preferably of the steel-bound, razor sharp edged kind.
Conclusion: you're not drawing Karnaugh tables daily in front of you, but having manipulated the fundamental rules of logic has trained your neural net and makes you much more effective at solving logic problems in a wink and not write crap code, and also simply able to debug stuff efficiently, if at all. I am regularly aghast at people drawing completely invalid conclusions from broken "common sense" logic propositions (A=>B therefore B=>A, or various other syllogisms).