"О методе решения задач на преобразование логических выражений, содержащих поразрядную конъюнкцию чисел"