0. Содержание отчета

1. Таблица истинности, задающая СБФ на основе буквенного кодирования.

2. Формулы для функций Y₁, Y₂ и Y₃, сформированные на основе таблицы истинности.

3. Приведение формул функций Y₁, Y₂ и Y₃ к базису, заданному в соответствии с вариантом.

4. Логическая схема реализации функций Y₁, Y₂ и Y₃ на дешифраторе (для упрощения построения логической схемы она может быть разделена на три части – отдельно для каждой функции).

Лабораторная работа №3 «Синтез схем сравнения»

3.1. Основные сведения

Схемы сравнения вычисляют логическое значение соотношения «больше/меньше» двух величин, представленных в двоичной форме. Значение соотношения может быть true (1) и false (0).

Схемы сравнения предназначены для реализации логических условий в микропрограммах. Результаты сравнения могут быть использованы, как осведомительные (входные) сигналы для управляющего автомата (рис. 3.1)

Рис. 3.1 – Примеры использования результатов сравнения

Простейшее сравнение – это равенство/неравенство (A=B, A≠B).

A=B  функция равнозначности ( ) 

A≠B  функция неравнозначности (XOR) 

Сравнение чисел выполняется поразрядно, начиная со старших разрядов.

Для сравнения чисел необходимо и достаточно выполнить следующее:

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

• , для определения неравнозначности нужно выполнять поразрядное сравнение, до получения хотя бы одного положительного результата неравнозначности.

Пример. Сравнить [a₁ a₂]=[b₁ b₂].

.

Реализация функции R в инверсном базисе:

Сравнение чисел на «больше»/«меньше».

Используется специальная комбинационная схема сравнения. Определим функцию, на основании которой строится схема.

Табл. 3.1 – Таблица истинности поразрядного сравнения a>b

ai	bi	yi
0	0	0
0	1	0
1	0	1
1	1	0

Здесь y_i – результат сравнения A>B в i-м бите.

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

Сравним числа длиной 4 бита (поразрядно, начиная со старших разрядов).

Логическая схема имеет вид, приведенный на рис. 3.2.

Схемы сравнения с «0» и «1» будут проще, т.к. в выражении некоторые термы сократятся. В общем случае схема сравнения с константой будет проще по тем же причинам.

Нестрогие неравенства: A≥B, A≤B выполняются путем комбинации рассмотренных приемов:

;

.

Рис. 3.2 – Схема сравнения A>B для четырехразрядных чисел

3.2. Задание

Выполнить синтез двух логических схем сравнения переменной А с константой B (размерность – четыре бита). Базис реализации – 3И-НЕ. Виды операций сравнения, а также значения констант приведены в табл. 3.2. В центре таблицы располагаются номера вариантов, по периметру – виды операций сравнения и значения константы. Для каждого варианта предлагается две операции сравнения (вверху и внизу таблицы).

Табл. 3.2 – Выбор вида операции сравнения и значения константы

Опер. B	A ≥ B	A < B	A ≤ B	A = B	Опер. B
0111	1	2	3	4	0110
1101	5	6	7	8	0011
0010	9	10	11	12	1100
1001	13	14	15	16	0101 1000
0001	17	18	19	20	1011
1110	21	22	23	24	1000
0100	25	26	27	28	1010
B Опер.	A > B	A = B	A < B	A > B	B Опер.

Так, например, для варианта № 27 необходимо построить логические схемы для следующих условий:

A ≤ B (В = 0100); A < B (В = 1010).