Interestingly enough, a good portion of an electrical engineering degree, at least in first and second years, involves boolean logic.

It is crucial, especially in hardware engineering, to be able to deal with long boolean statements like this.. you can do anything with NOT, AND, and OR. There are a number of transforms you can make when dealing with complex boolean logic problems, and possibly one theorem you may want to check out is: oh forget it, I've just been searching the net for half an hour and the only references to the all-important de moivre's theorem of boolean logic are university course advertisements. You may just have to buy a book!