- •Млта: математическая логика и теория алгоритмов
- •Динамический анализ
- •Константные элементы
- •Параметрические обобщения повторителя и инвертора
- •Элемент задержки (delay) или сдвига (по времени)
- •Исходные данные
- •Динамическая модель
- •Динамический анализ
- •Динамический анализ
- •Сумма по модулю (разделительная дизъюнкция)
- •Константные элементы
- •Нулевой константный оператор
- •Единичный константный оператор
- •Дифференцирующие элементы
- •Единичный дифференцирующий элемент
- •Нулевой дифференцирующий элемент
Динамический анализ
НПФ: Неявная параметрическая форма
y = x1 & x2
ЯПФ: Явная параметрическая форма
y(t) = x1(t) & x2(t)
Подготовка и испытание схемы
ВД: Временная диаграмма ЛС: Логическая схема
Соотношение времен переднего и заднего фронтов
Ty491(0-1) =max(tx1491(0-1),tx2491(0-1) – по более позднему 01-переходу
Ty491(1-0) =min(tx1491(0-1),tx2491(0-1) – по более раннему 10-переходу
ФГО: Функциональный график объекта
x2
ФВ: Функциональное (арифметическое) выражение
y = Min(x1,x2) = ((x1+x2)–|x1–x2|)/2
Динамический анализ
НПФ: Неявная параметрическая форма
y = x1 & x2
ЯПФ: Явная параметрическая форма
y(t) = x1(t) & x2(t)
Подготовка и испытание схемы
ВД: Временная диаграмма ЛС: Логическая схема
Соотношение времен переднего и заднего фронтов
ty(0-1) =max(tx1(0-1),tx2(0-1) – по более позднему 01-переходу
ty(1-0) =min(tx1(0-1),tx2(0-1) – по более раннему 10-переходу
Дополнительные многополюсные элементы
Инверсный конъюнктор и дизъюнктор
Элемент Не-И (NotAnd:nand)
СФО: Структурная формула объекта (и правила де Моргана)
y491 =N(x1491 &x2491) =Nx1491VNx2491
ЛИ: Логическая интерпретация
y491 равно Не (x1491 иx2491)
y491 equal Not (x1491 and x2491)
ССО: Структурная схема объекта
БСО: Блок-схема объекта ШСО: Штрих-схема объекта
x1491
y491
N
&
x1491
y491 &
x1491
x2491
Задание 2.3 Построение ССО методом мозаичного набора:
1) Программа TrenTest
2) Средства псевдографики
ЛС: Логическая схема
Элемент Не-Или (NotOr:nor)
СФО: Структурная формула объекта (и правила де Моргана)
y=N(x1Vx2) =Nx1 &Nx2
ЛИ: Логическая интерпретация
yравно Не (x1 илиx2)
y equal Not (x1 or x2)
ССО: Структурная схема объекта
БСО: Блок-схема объекта ШСО: Штрих-схема объекта
Задание 2.4 Построение ССО методом мозаичного набора:
ЛС: Логическая схема
Примечание2.2 Дистрибутивность
1) Выполняется левая антидистрибутивность инверсии
относительно конъюнкции и дизъюнкции – правила де Моргана:
// левая – для прямой функциональной записи
// правая – для прямой схемной записи
y491 = N(x1491 & x2491) = Nx1491 V Nx2491
x1491
y491 & N
x1491
y491 V
N
=
x2491
x2491 N
y037 = N(x1037 V x2037) = Nx1037 & Nx2037
x1491
y491
V N
x1491
y491
&
N
=
x2491
x2491 N
Задание 2.5 Выполнить построение ССО методом мозаичного набора:
2)
Для сравнения: левая дистрибутивность репитора
относительно конъюнкции и дизъюнкции
// левая – для прямой функциональной записи
// правая – для прямой схемной записи
y491 = R(x1491 & x2491) = Rx1491 & Rx2491 = x1491 & x2491
y491 = R(x1491 V x2491) = Rx1491 V Rx2491 = x1491 V x2491
Сумма по модулю (разделительная дизъюнкция)
y491 = x1491 x2491 = (x1491 & Nx2491) V (x2491 & Nx1491) = x1491x2491' V x2491x1491'
x1491
y491
x1491
y491
=1
x1491
x1491
Константные элементы
Нулевой константный оператор
// генератор нулей
СФ: Структурная формула
Y491 = x491 & Nx491 = Rx491 & Nx491 = (R & N)x491 = C0x491 = c0 0
C0=R&N
СС: Структурная схема
БСО: Блок-схема объекта ШСО: Штрих-схема объекта
y491
x491 &
x491
y491 & # R
C0
y491
x491 & R
x491 N N
x491 N
C0
x491
y491
Задание 2.6 Построение ССО методом мозаичного набора:
Уточнение структурной записи:
наличие структурной операции вилки
y = Rx491 & Nx491 = (R &# N)x491 = C0x491 = c0 0
C0=R&#N= &(R,N)#
Статический анализ
0:x490 = 0 y490 = 0
1: x490= 1y490= 0
ФТО: Функциональная таблица объекта – таблица истинности
№ |
x491 |
y
1 1 0 0 y491 |
0 1 |
0 1 |
0 0 |
491x
Динамический анализ:
На выходе сигнал неизменно нулевой.