Логический процессор

📗 Логический процессор представляет собой устройство, предназначенное для решения переборных задач, сформулированных на пропозициональном языке. Однако, применение его гораздо шире, нежели решение занимательных логических задач. Он с успехом позволяет решать содержательные задачи переборного характера, искать доказательства или опровержения, находить маршруты для автономно работающих устройств и пр. Глубокое распараллеливанием операций за счет использования матричного представления логических выражений дает возможность находить решения для задач с большим числом параметров. Логический процессор представлен в виде схемы на LabVIEW с интуитивно понятным интерфейсом.