4.7.1. Переход от таблицы истинности к логическому выражению

Задайте (или отредактируйте) таблицу истинности так, как это было описано выше. После задания таблицы истинности нажмите кнопку:

Логическое выражение, представленное в совершенной дизъюнктивной нормальной форме (СДНФ), появится в нижнем поле. Выражение может оказаться длиннее поля. Чтобы перемещаться по выражению, щелкните внутри поля, а потом воспользуйтеськлавишами со стрелками,HOMEиEND. Полученное выражение можно редактировать, а потом,нажав соответствующие кнопки, минимизировать его или построить схему.

4.7.2. Преобразование логического выражения в таблицу истинности

Логическое выражение, представленное в дизъюнктивной нормальной форме (ДНФ), должно быть задано в поле ввода (как это делается — описано ранее). Для его преобразования в таблицу истинности нажмите кнопку:

4.7.3. Переход от таблицы истинности к логическому выражению в минимальной форме

Логическое выражение, соответствующее таблице истинности, может быть представлено в минимальной форме. Для выполнения такого преобразования нажмите кнопку:

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

Замечание. Процесс минимизации требует много памяти. Если компьютер не имеет достаточно памяти, он не сможет завершить этот процесс.

4.7.4. Переход от схемы к таблице истинности

Если на монтажном столе имеется логическая схема, построенная только на инверторах и двухвходовых элементах И, ИЛИ, или на инверторах и только элементахИ-НЕ, то ее можно преобразовать в таблицу истинности.

Подключите входные и выходные клеммы преобразователя к входам и выходу исследуемой схемы в соответствии с рис. 4.11,а. Обратите внимание, что входов должно быть не более восьми, а выход — только один.

Выполнив эти соединения, для получения таблицы истинности нажмите кнопку:

Вы можете затем отредактировать или преобразовать таблицу истинности в другие формы, используя подходящие кнопки логического преобразователя.

Замечание. Обычно преобразуют схемы, которыесозданына монтажном столелогическим преобразователем и отредактированы.

4.7.5. Переход от логического выражения к схеме

Если в поле ввода имеется логическое выражение, то для него можно построить схему из логических элементовНЕ(только для инвертирования входных переменных) и двухвходовых элементовИ,ИЛИ. Чтобы перейти от логического выражения к схеме, нажмите кнопку:

На монтажном столе появится схема из логических элементов НЕ,И, ИЛИ, выполняющая функцию, заданную логическим выражением.

Первоначально схема выделена, так что ее сразу можнопереместитьв любое место монтажного стола илиудалить. Кроме того, схему можноскопироватьиливырезать, а потомвставить(см. 3.2.1 – 3.2.4) в другую схему (или создать субсхему). Так можно проектировать по частям довольно сложные схемы.

После снятия выделениясо схемы, ее можно редактировать: удалять/добавлять логические элементы, перемещать их. В частности, путем перемещения логических элементов схему можно сделать более компактной и удобочитаемой. Это может иметь значение для окончательного варианта анализируемой схемы.

4.7.6. Преобразование логического выражения в схему на элементах и-не

Для получения схемы, соответствующей заданному логическому выражению и использующей инверторы (только для инвертирования входных переменных) и только двухвходовые элементыИ-НЕ, нажмите кнопку:

Схема появится на монтажном столе и над ней можно выполнять все манипуляции, перечисленные в п. 4.7.5.

При использовании логического преобразователя могут появиться следующие сообщения об ошибках.

1. Cannot simplify; the truth table has unknown value(s).

Минимизация невозможна, в таблице истинности есть неопределенные значения.

Эти неопределенные значения могли возникнуть после редактирования таблицы истинности. Поставьте 0,1илиXтам, где в столбцеOUTстоит знак?.

2. Expression cannot begin with OR.

Выражение не может начинаться с OR.

В логическом выражении, находящемся в поле ввода, имеется лишний знак +(ИЛИ, OR). После нажатия на кнопкуOKэтот знак обычно выделяется цветом (если выражение больше поля ввода – просмотрите его до конца).

3. The generated circuit will not fit in the workspace.

Полученная схема не уместится на монтажном столе.

Проектируйте схему по частям.