Основы функционирования и программирования микротренажера МТ1804. Бормонтов Е.Н - 19 стр.

UptoLike

19
2.3.2. Таблицы истинности составных логических функций
Для каждого составного логического выражения можно построить таблицу
истинности , которая определяет его истинность при всех возможных
комбинациях исходных значений простых переменных. Таблица истинности
строится в следующей последовательности .
1. Количество строк в таблице истинности равно числу возможных
комбинаций значений независимых логических переменных плюс строка , в
которой указывается содержание столбцов . Если число логических
переменных равно n , то количество строк равно 2
n
+1.
2. Количество столбцов в таблице истинности равно количеству логических
переменных плюс количество логических операций.
3. Строится таблица с указанным количеством строк и столбцов , обозначается
содержимое столбцов , заполняются возможные наборы значений исходных
логических переменных.
4. Заполняется таблица истинности по столбцам, выполняя последовательно
логические операции в соответствии с их таблицами истинности .
Пример 2.5. Составить таблицу истинности логической функции
(
)
(
)
BABABAF ∨= &),(
.
Количество независимых логических переменных равно 2,
следовательно, число строк будет равно 2
2
+1=5.
Количество логических операций равно пяти , и с учетом количества
логических переменных число столбцов есть 5+2=7.
А В
B
A
A
A
(
)
(
)
BABA ∨∨ &
0 0 0 1 1 1 0
0 1 1 1 0 1 1
1 0 1 0 1 1 1
1 1 1 0 0 0 0
2.3.3. Построение логических схем
Устройства компьютера (сумматоры в процессоре, шифраторы и
дешифраторы , логические схемы арифметико- логического устройства и так
далее) строятся на основе базовых логических элементов .
Пример 2.6. Построить логическую схему заданной логической функции
ABABBAF &&),( ∨= .
Построение необходимо начинать с логической операции, которая
должна выполняться последней, в данном случае операции логического
                                      19


           2.3.2. Т аблиц ы истинности составны х логич еских ф ункц ий

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

1. К олич ество строк в таблиц е истинности равно ч ислу возм ож ны х
   ком бинац ий знач ений независим ы х логич еских перем енны х плю с строка, в
   которой указы вается содерж ание столбц ов. Е сли ч исло логич еских
   перем енны х равноn, токолич ествострок равно2n+1.
2. К олич ествостолбц ов в таблиц е истинности равноколич ествулогич еских
   перем енны х плю с колич ествологич еских операц ий.
3. С троится таблиц а с указанны м колич еством строк и столбц ов, обознач ается
   содерж им ое столбц ов, заполняю тся возм ож ны е наборы знач ений исх одны х
   логич еских перем енны х .
4. Заполняется таблиц а истинности постолбц ам , вы полняя последовательно
   логич еские операц ии всоответствии сих таблиц ам и истинности.

П рим ер 2.5. С оставитьтаблиц уистинности логич ескойф ункц ии
          F ( A, B) = ( A ∨ B ) & (A ∨ B ) .

       К олич ество независим ы х     логич еских  перем енны х   равно 2,
                                             2
    следовательно, ч ислострок будетравно2 +1=5.
       К олич ество логич еских операц ий равно пяти, и с уч етом колич ества
    логич еских перем енны х ч ислостолбц овесть5+2=7.

             А    В     A∨ B     A      B     A∨ B   ( A ∨ B ) & (A ∨ B )
             0    0       0      1      1      1              0
             0    1       1      1      0      1              1
             1    0       1      0      1      1              1
             1    1       1      0      0      0              0


                       2.3.3. П остроение логич еских сх ем

    У стройства ком пью тера (сум м аторы в проц ессоре, ш иф раторы и
деш иф раторы , логич еские сх ем ы ариф м етико-логич еского устройства и так
далее) строятся на основе базовы х логич еских элем ентов.

П рим ер 2.6. П остроить логич ескую сх ем у заданной логич еской ф ункц ии
         F ( A, B) = B & A ∨ B & A .
          П остроение необх одим о нач инать с логич еской операц ии, которая
      долж на вы полняться последней, в данном случ ае – операц ии логич еского