ЛОГИЧЕСКИЕ ОСНОВЫ ЭВМ 1) АЛГЕБРА ЛОГИКИ 2) СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ
ИСПОЛЬЗУЕМАЯ ЛИТЕРАТУРА Литература: 1. Основы вычислительной техники: Учебное пособие/ Д.П. Гонтов, К.Г. Кречетников и др.: Владивосток: ТОВВМУ, – С. 3 – 4, 14 – Каган Б.М. Электронные вычислительные машины и системы. – М.: Энергоатомиздат, Калиш Г.Г. Основы вычислительной техники. Учеб. пособ. для средн. проф. учебных заведений. – М.: Высш. Шк., – С. 5 – 13.
АЛГЕБРА ЛОГИКИ Основными понятиями алгебры логики являются понятие логической переменной и логической функции. Логической переменной (аргументом) называется величина которая может принимать одно из двух значений («0» или «1») Логической функцией называется функция двоичных переменных которая также может принимать одно из двух возможных состояний («0» или «1») Множество состояний (значений), которые могут принимать как аргументы так и функции, равно двум. Для этих состояний в алгебре логики определяются отношение эквивалентности обозначаемое (=) и три операции: логического сложения (дизъюнкции) обозначаемое- + или V логического умножения (конъюнкции) обозначаемое- или Λ или & логического отрицания (инверсии) обозначаемое- ¯
АЛГЕБРА ЛОГИКИ При выполнении выше перечисленных операций отношения эквивалентности имеют вид: а) дизъюнкция б) конъюнкция в) инверсия _ 0+0=0 00=0 0=1 0+1=1 01=0 _ 1+0=1 10=0 1=0 1+1=1 11=1
АЛГЕБРА ЛОГИКИ Законы алгебры логики: 1. Переместительный закон для логического сложения: x1 + x2= x2 +x1, для логического умножения: x1 x2= x2 x1. 2. Сочетательный закон для логического сложения: (x1 + x 2)+x3= x1 +(x2 + x3), для логического умножения: (x1 x 2) x3 = x1(x2 x3). 3. Распределительные законы первый распределительный закон: x1(x2+x3) = x1 x2+x1 x3, второй распределительный закон: x1+x2 x3=(x1+x2)(x1+x3).
АЛГЕБРА ЛОГИКИ 4. Законы отрицания (правило де Моргана) для дизъюнкции: x1 + x2 = x1 x2 для конъюнкции: x1 x2 = x1 + x2 двойное отрицание: x = x 5. Законы поглощения дизъюнктивное поглощение: x1+x1 x2= x1 (1+x2)=x1 конъюнктивное поглощение: x1 (x1+x2)=x1 x1+x1 x2=x1+x1 x2=x2 6. Законы склеивания дизъюнктивное склеивание: x1 x2+x1 x2=x1 (x2+x2)=x1 конъюнктивное склеивание: (x1+x2)(x1+x2)=x1+x1 x2+x1 x2=x1
АЛГЕБРА ЛОГИКИ Логическая связь НЕ (логическое отрицание) Отрицанием высказывания х называют сложное высказывание F(х), которое истинно, когда х ложно и ложно, когда х истинно. Аналитическая функция, УГО и таблица истинности элемента НЕ
АЛГЕБРА ЛОГИКИ Логическая связь ИЛИ – сложение (дизъюнкция) высказываний Дизъюнкцией двух высказываний х1 и х2 называется сложное высказывание F(х1, х2), которое ложно только в одном случае, когда х1 и х2 одновременно ложны (х1 = 0 и х2 = 0). Во всех остальных случаях высказывание F(х1, х2) истинно. Аналитическая функция, УГО и таблица истинности элемента ИЛИ
АЛГЕБРА ЛОГИКИ Логическая связь И (конъюнкция высказываний) Конъюнкцией высказываний х1 и х2, называется сложное высказывание F(х1, х2), которое истинно только в одном случае, когда х1 и х2 одновременно истинны (х1 = 1 и х2 = 1). Во всех остальных случаях высказывание F(х1, х2) ложно. Аналитическая функция, УГО и таблица истинности элемента И
АЛГЕБРА ЛОГИКИ Логическая связь отрицание дизъюнкции (операция Пирса) Логической связью отрицание дизъюнкции высказываний х1 и х2, называется сложное высказывание F(х1, х2), которое истинно только в том случае, когда х1 и х2 одновременно ложны (х1 = 0 и х2 = 0). Во всех остальных случаях высказывание F(х1, х2) ложно. Аналитическая функция, УГО и таблица истинности элемента ИЛИ-НЕ
АЛГЕБРА ЛОГИКИ Логическая связь отрицание конъюнкции (операция Шеффера) Логической связью отрицание конъюнкции высказываний х1 и х2, называется сложное высказывание F(х1, х2), которое ложно только в том случае, когда х1 и х2 одновременно истинны (х1 = 1 и х2 = 1). Во всех остальных случаях высказывание F(х1, х2) истинно. Аналитическая функция, УГО и таблица истинности элемента И-НЕ
АЛГЕБРА ЛОГИКИ Логическая связь отрицание равнозначности (операция ИЛИ-ИЛИ) Логической связью отрицание равнозначности высказываний х1 и х2, называется сложное высказывание F(х1, х2), которое истинно тогда, когда значения истинности высказываний х1 и х2 не совпадают и ложно, когда значения истинности высказываний х1 и х2 совпадают. Аналитическая функция, УГО и таблица истинности элемента исключающее ИЛИ
СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ Сущность задач синтеза заключается в том, чтобы спроектировать логическое устройство Основные этапы синтеза логических схем На первом этапе на основании заданного алгоритма работы синтезируемого устройства формируют словесное описание логической функции. Пример: Считать, что цель обнаружена (выходной сигнал равен 1) только в тех случаях, когда не менее чем два входных сигнала равны "1". Во всех остальных случаях цель не обнаружена (выходной сигнал равен 0).
СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ На втором этапе на основе словесной формы логической функции составляют табличную форму. Затем по таблице истинности находят аналитическую форму представления логической функции в виде СДНФ или СКНФ Пример: СДНФ примет вид : СКНФ примет вид :
СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ Третий этап. На этом этапе осуществляется минимизация СДНФ или СКНФ с целью уменьшения числа логических элементов, необходимых для разработки функциональной схемы синтезируемого устройства. Для минимизации логических функций используются как аналитические, так и графические методы. Сущность аналитических методов сводится к последовательному применению законов алгебры логики и их следствий F(X1,X2,X3)=X2X3(X1+X1)+X1X3(X2+X2)+X1X2(X3+X3) => F(X1,X2,X3)=X2X3+X1X3+X1X2 Графический метод:
СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ На четвертом этапе на основе минимизированной логической функции разрабатывается функциональная схема синтезируемого устройства и проверяется правильность ее работы.