Основы синтеза и диагностирования автоматов. Воронин В.В. - 107 стр.

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

Составители: 

Рубрика: 

103
Функция f
7
называется функцией эквивалентности или равно-
значности. Её аналитическое обозначение имеет вид
f
7
(x
1
,x
2
)=x
1
≡
x
2
=x
1
∞
x
2
.
Функция f
8
называется импликацией х
1
в х
2
и имеет следующую
аналитическую запись
f
8
(x
1
,x
2
)=x
1
→
x
2
.
Эта функция формально описывает сложное высказывание “ес-
ли
А, то В”, в котором А и В - это простые высказывания, называе-
мые, соответственно, посылкой и следствием. Смысл сложного вы-
сказывания (обозначим его
С), описывается табл. 3.21 (С ложно
только тогда, когда при истинной посылке ложно следствие), кото-
рая совпадает с таблицей истинности импликации. Это функция име-
ет важное значение в области представления знаний.
Функция f
9
называется функцией Вебба и обо-
значается аналитически как
f
9
(x
1
,x
2
)=x
1
°
x
2
.
Функция
f
10
называется функцией Шеффера и
обозначается аналитически в виде
f
10
(x
1
,x
2
)= x
1
⁄
x
2
.
Функция
f
11
называется функцией сложения по
модулю два
и имеет следующую аналитическую запись
f
11
(x
1
,x
2
)=x
1
⊕
x
2
=x
1
∇
x
2
.
Для двух чисел
а и в, которые меньше r, а+в по модулю r
⎩
⎨
⎧
≥+−+
<
+
+
=+
.,
;,
rbarba
rbaba
rмодулюпоba
Рассмотренные элементарные функции позволяют строить но-
вые функции путем подстановки (суперпозиции) их в новые функции
вместо аргументов.
Таблица
3.21
А В С
f f t
f t t
t f f
t t t

Страницы