Рассматривается процесс решения сложных задач в информатике и информационных технологиях (ИТ) в качестве специфической формы движения в дискретном лабиринте. Такая форма движения характеризуется законами, в частности, законами сохранения. Ранее из дискретного аналога известной «физической» теоремы Нётер в качестве следствия был выведен закон сохранения перебора (ЗСП). Здесь показано, что процесс решения некоторых задач, в частности, процесс решения задачи построения тестов для комбинационных устройств (КУ), процесс решения булевых уравнений, характеризуется ещё и законом сохранения количества информации (ЗСКИ), тесно связанным с ЗСП.