ВУЗ:
Составители:
Рубрика:
13
называется логической , если каждая переменная Х
i
и функция Y могут
принимать только два значения: “1” (единица) и “0” (ноль) (да -нет, истина -
ложь, true-false).
Логическая переменная может быть реализована на основе любой
физической системы , имеющей два устойчивых, четко различимых состояния,
одному из которых условно приписывается значение “1” , другому – “0”.
Простейшей логической функцией является функция логического
отрицания НЕ:
()
YXX
=
.
Она имеет следующую таблицу истинности :
X Y(X)
0 1
1 0
Функция логического умножения И (конъюнкция) записывается как
(1,2)12
YXXXX
=⋅=
X1∧X2.
Она истинна тогда и только тогда , когда значения обеих переменных истинны ,
и имеет следующую таблицу истинности :
X1 Х2 Y(X1,Х2)
1 1 1
0 1 0
1 0 0
0 0 0
Функция логического сложения ИЛИ (дизъюнкция) имеет вид
(1,2)12
YXXXX
=+=
X1∨X2.
Она ложна , если обе переменные ложны , и имеет следующую таблицу
истинности :
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
Страницы
- « первая
- ‹ предыдущая
- …
- 11
- 12
- 13
- 14
- 15
- …
- следующая ›
- последняя »