Cтраница 2
Сущность этого приема состоит в том, что сначала из данной системы логических элементов выбирают пять типов элементов, реализующих булевы функции, не сохраняющие 0 и 1, несамодвойственную, нелинейную и немонотонную функции. Затем, осуществляя правильную композицию элементов первых трех типов, методами, описанными в ходе доказательства теоремы о функциональной полноте, строят правильные комбинационные схемы, реализующие константы. Полученные две схемы принимаются за новые логические элементы. Из этих элементов и элементов, реализующих немонотонную и нелинейную функцию, строят комбинационные схемы, реализующие отрицание и конъюнкцию. [16]
Как известно из § 1, далеко не всякая композиция автоматов и, в том числе, далеко не каждая комбинационная схема может рассматриваться как структурная схема некоторого автомата. В случае, когда такое рассмотрение оказывается возможным, соответствующая комбинационная схема называется корректно построенной, К числу корректно построенных комбинационных схем относятся так называемые правильные комбинационные схемы. [17]