In fact, it reduces all logical problems to symbols that can be manipulated. Just as important, Boolean logic can be used to construct computer programs that not only process mathematical problems ...