На помощь приходит алгебра высказываний