Введение «Предлагаемый труд вовсе не есть плод какого–нибудь «внутреннего побуждения»[1], а результат анализа производственной задачи разработки системы управления экспериментальной технологической установкой типа автоклава. Согласно ТЗ необходимо было обеспечить быструю перенастройку установки для проведения новых экспериментов. Процесс проектирования системы управления привел к неожиданным результатам, который заставил вернуться к основам и философски переосмыслить некоторые привычные положений программирования...

Определение. Булева функция (формула логики высказываний) F называется частично (не всюду) определённой, если не для всех возможных наборов значений входящих в функцию F перемен­ных указаны её значения. Алгоритм минимизации частично определенных функций в классе дизъюнктивных нормальных форм (ДНФ) включает в себя следующие шаги. Шаг 1. Доопределить булеву функцию F нулями на тех наборах значений пе­ременных, где она не определена. Полученную булеву функцию обозначить через F0. Шаг 2. Построить совершенную дизъюнктивную нормальную форму (СДНФ) булевой функции F0...