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

UptoLike

13
называется логической , если каждая переменная Х
i
и функция Y могут
принимать только два значения: 1 (единица) и 0 (ноль) (да -нет, истина -
ложь, true-false).
Логическая переменная может быть реализована на основе любой
физической системы , имеющей два устойчивых, четко различимых состояния,
одному из которых условно приписывается значение 1 , другому 0.
Простейшей логической функцией является функция логического
отрицания НЕ:
()
YXX
=
.
Она имеет следующую таблицу истинности :
X Y(X)
0 1
1 0
Функция логического умножения И (конъюнкция) записывается как
(1,2)12
YXXXX
=⋅=
X1X2.
Она истинна тогда и только тогда , когда значения обеих переменных истинны ,
и имеет следующую таблицу истинности :
X1 Х2 Y(X1,Х2)
1 1 1
0 1 0
1 0 0
0 0 0
Функция логического сложения ИЛИ (дизъюнкция) имеет вид
(1,2)12
YXXXX
X1X2.
Она ложна , если обе переменные ложны , и имеет следующую таблицу
истинности :
X1 Х2 Y(X1,Х2)
1 1 1
0 1 1
1 0 1
0 0 0
                                          13



назы вается логич еской, если каж дая перем енная Хi и ф ункц ия Y м огут
приним ать только два знач ения: “1” (единиц а) и “0” (ноль) (да-нет, истина-
лож ь, true-false).
     Л огич еская перем енная м ож ет бы ть реализована на основе лю бой
ф изич еской систем ы , им ею щ ей два устойч ивы х , ч еткоразлич им ы х состояния,
одном уиз которы х условноприписы вается знач ение “1” , другом у– “0” .
     П ростейш ей логич еской ф ункц ией является ф ункц ия логич еского
отриц ания Н Е :
                                        Y (X ) = X .
О на им еетследую щ ую таблиц уистинности:

                                    X          Y(X)
                                    0            1
                                    1            0

    Ф ункц ия логич ескогоум нож ения И (конъю нкц ия) записы вается как

                              Y ( X 1, X 2) = X 1 ⋅ X 2 = X1∧X2.

О на истинна тогда и толькотогда , когда знач ения обеих перем енны х истинны ,
и им еетследую щ ую таблиц уистинности:

                             X1           Х2         Y(X1,Х2)
                             1             1            1
                             0             1            0
                             1             0            0
                             0             0            0

    Ф ункц ия логич ескогослож ения И Л И (дизъю нкц ия) им еетвид

                              Y ( X 1, X 2) = X 1 + X 2 = X1∨X2.

О на лож на, если обе перем енны е лож ны , и им еет следую щ ую          таблиц у
истинности:
                             X1           Х2         Y(X1,Х2)
                             1             1            1
                             0             1            1
                             1             0            1
                             0             0            0