What is the main role of Boolean algebra in digital systems?