I recently started following the digital-logic tag when I noticed that questions seem have a lot of cross over with boolean-logic. Formally, I don't think I would not argue that they are synonymous. I think of boolean-logic as a discipline of mathematics, and digital-logic as implementing Boolean logic on some type of physical system.
However, looking at the few issues that are tagged with these tags it seems like functionally people are applying to them the same kind of questions. digital-logic is really being used in a way that is synonymous with boolean-logic. It seems as though digital-logic gets associated with more hardware (as in FPGA) type questions, and boolean-logic is associated with more software questions but that is probably just due to how the same concept is referred to in those different disciplines.
I obviously don't have enough reputation to suggest the synonym anyway, but I am interested to see what other people think and why? Maybe if we do come to a consensus someone with the rep can suggest the synonym. Neither tag has much traffic so there could be advantages to combining the two.