Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 160 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

160
?-Y=..[a,b,c,d].
Y=a(b,c,d)
Варианты заданий
В исходной формуле заменить подформулу на подформулу.
Примечания: В данной таблице приняты следующие обозначения: 1) большими буквами А и
В обозначены подформулы; 2) знак ^ обозначает логическую функцию «эквивалентность»; 3) знак |
обозначает логическую функцию Шеффера; 4) знак - обозначает логическую функцию отрицания;
5) знак -» обозначает логическую функцию «импликация»; 6) знак Т обозначает арифметическую
операцию возведения в степень. 7) старшинство операций (в порядке убывания): а) отрицание; б)
конъюнкция, функция Шеффера; г) дизъюнкция; д) импликация. 
            ?-Y=..[a,b,c,d].
            Y=a(b,c,d)
                                      Варианты заданий
     В исходной формуле заменить подформулу на подформулу.




     Примечания: В данной таблице приняты следующие обозначения: 1) большими буквами А и
В обозначены подформулы; 2) знак ^ обозначает логическую функцию «эквивалентность»; 3) знак |
обозначает логическую функцию Шеффера; 4) знак - обозначает логическую функцию отрицания;
5) знак -» обозначает логическую функцию «импликация»; 6) знак Т обозначает арифметическую
операцию возведения в степень. 7) старшинство операций (в порядке убывания): а) отрицание; б)
конъюнкция, функция Шеффера; г) дизъюнкция; д) импликация.




                                             160

Страницы