Logicheskij processor

Logicheskij processor predstawlqet soboj ustrojstwo, prednaznachennoe dlq resheniq perebornyh zadach, sformulirowannyh na propozicional'nom qzyke. Odnako, primenenie ego gorazdo shire, nezheli reshenie zanimatel'nyh logicheskih zadach. On s uspehom pozwolqet reshat' soderzhatel'nye zadachi perebornogo haraktera, iskat' dokazatel'stwa ili oprowerzheniq, nahodit' marshruty dlq awtonomno rabotaüschih ustrojstw i pr. Glubokoe rasparalleliwaniem operacij za schet ispol'zowaniq matrichnogo predstawleniq logicheskih wyrazhenij daet wozmozhnost' nahodit' resheniq dlq zadach s bol'shim chislom parametrow. Logicheskij processor predstawlen w wide shemy na LabVIEW s intuitiwno ponqtnym interfejsom.