4. Режим моделирования схемы

После создания принципиальной схемы исследуемого устройства необходимо запустить процесс моделирования, чтобы исследовать поведение устройства.

Для того чтобы запустить процесс моделирования, нужно щелкнуть по кнопке Simulate и из всплывающего меню выбрать команду Run. Слева от команды Run появится галочка, означающая, что процесс моделирования начался.
Для того чтобы приостановить на время процесс моделирования, нужно щелкнуть по кнопке Simulate и из всплывающего меню выбрать команду Pause. Для возобновления процесса моделирования нужно щелкнуть по кнопке Simulate и из всплывающего меню снова выбрать команду Pause. Процесс моделирования возобновиться с того момента, когда он был остановлен.
Для того чтобы остановить процесс моделирования, следует щелкнуть по кнопке Simulate и из всплывающего меню выбрать команду Run. Галочка слева от команды Run исчезнет, показывая, что процесс моделирования остановлен. Если после остановки процесса моделирования запустить его снова, то, в отличие от действия команды Pause, процесс моделирования начнется из начальной точки.
Процесс моделирования можно запустить или приостановить с помощью команд Simulation>Run и Simulation>Pause соответственно.
Процесс моделирования можно запускать и останавливать с помощью переключателя, который можно сделать видимым или невидимым с помощью команды View>Show Simulation Switch.

Лабораторная работа №1

Исследование логических схем

Цель работы – исследование логических схем «И2», «И-НЕ», «ИЛИ», «ИЛИ-НЕ», «Исключающее ИЛИ».

Краткие сведения из теории

Аксиомы алгебры логики

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

отношение эквивалентности, обозначаемое знаком = ;
операция сложения (дизъюнкция), обозначаемая знаком + или  ;
операция умножения (конъюнкция), обозначаемая знаком & или * ;
операция отрицания (или инверсия), обозначаемая знаком надчеркивания или апострофом ’ .

Алгебра логики определяется следующей системой аксиом:

x = 0, если х 1, = 1,

x = 1, если х 0, = 0,

1+ 1 = 1, 0 * 0 = 0,

0 + 0 = 0, 1 * 1 = 1,

0 + 1 = 1 + 0 = 1, 1 * 0 = 0 * 1 + 0.

Логические выражения

Логические выражения связывают значение логической функции со значениями логических переменных. Они могут записываться или в конъюнктивной или дизъюнктивной нормальных формах. В дизъюнктивной форме логические выражения записываются как логическая сумма логических произведений, в конъюнктивной – как логическое произведение логических сумм. Порядок действий в логических выражениях такой же, как и в обычных алгебраических выражениях. Логические выражения связывают значение логической функции со значениями логических переменных.