== Эквивалентные преобразования управляющих систем ==
# Опять-таки берётся из лекций Ложкина {{Скачать|Ложкин С.А. - Лекции по основам кибернетики 2004.djvu}}, кроме примера Линдона, который можно взять из методички Алексеева {{Скачать|Алексеев и др. - Задачи по курсу Основы кибернетики.djvu}}. ==== Эквивалентные преобразования формул двузначной логики ''Р''<sub>2</sub>==== * '''Опр.''' тождество, выводимость, эквивалентное преобразование.* Тождества: ассоциативности, коммутативности, отождествления переменных, де Моргана, дистрибутивности, поглощения, подстановки констант.* '''Т.''' Основная и расширенная системы тождеств эквивалентны.* '''Т.''' основной система тождеств полна (поднятие отрицаний → раскрытие скобок → приведение подобных, переход к совершенной ДНФ). # ==== Эквивалентные преобразования контактных схем==== * '''Опр.''' тождества основные, вспомогательные, обобщенные, каноническая КС, каноническая цепь, цикломатическое число графа (компонент связности + рёбер — вершин), контактной схемы.# * '''Т.''' основная система тождеств полна (принцип индукции → расширение контактов → применение тождества «звезда» → добавление фиктивных цепей → удаление вершины → удаление висячих и параллельных цепей → удаление транзитной проводимости).* '''Л.''' (об изменении цикломатического числа при эквивалентных преобразованиях).* '''Т.''' (о неполноте любой конечной системы тождеств). ==== Эквивалентные преобразования операторных алгоритмов.====# ==== Пример Линдона==== * '''Опр.''' функция Линдона (которая с 1 5 6).* Основные тождества и их вывод, преобразование к каноническому виду и его единственность.* '''Т.''' Полнота системы тождеств.* Свойство C<sup>n</sup> и его инвариантность относительно применения тождеств.* Невыводимость тождеств.* '''Т.''' {{notexists}} КПСТ.
== Надежность и контроль функционирования управляющих систем ==
