Приложение булевой алгебры к синтезу комбинационных схем Теоретическим