Электроника

Электроника представляет собой обширнейшую отрасль научно-технического ответвления прогресса. В нашей базе данных содержится информация о всех предлагаемых для реализации компонентах электроприборов и электросхем.

База данных располагает информацией о комплексе логических элементов, реализующих некоторый набор функций булевой алгебры (конъюнкцию, дизъюнкцию, отрицание и т. д.), и правилами отображения этих элементов в условных графических символах на чертежно-графическом оборудовании.

При помощи программ каждой комбинации логических функций, заданных разработчиком, ЭВМ приводит в соответствие определенный логический элемент из имеющегося в ее распоряжении набора, после чего объединяет все эти наборы согласно заданной системе логических уравнений. Таким образом, в памяти машины фиксируется логическая схема, интерпретирующая информацию, заданную разработчиком в виде системы логических уравнений. Далее, по определенным правилам машина проверяет полученную схему так, как это делал бы вручную непосредственно разработчик, и отыскивает запрещенные ситуации, которые и распечатывает потом на выводном устройстве