Информатика




НазваниеИнформатика
страница14/51
Дата публикации07.02.2014
Размер3.68 Mb.
ТипУчебное пособие
www.zadocs.ru > Информатика > Учебное пособие
1   ...   10   11   12   13   14   15   16   17   ...   51

В таблице представлены следующие функции двух переменных:

x1 x2 – дизъюнкция;

x1 & x2 – конъюнкция;

x1 x2 – импликация;

x1 ~ x2 – эквивалентность;

x1 x2 – сложение по модулю 2;

x1 x2 – стрелка Пирса;

x1 x2 – штрих Шеффера

Остальные функции специальных названий не имеют и могут быть выражены через перечисленные выше функции.

Формулы логики булевых функций

Формула логики булевых функций определяется индуктивно следующим образом:


1. Любая переменная, а также константы 0 и 1 есть формула.

2. Если A и B - формулы, то ¬A, AB, A&B, AB, A~B есть формулы.

3. Ничто, кроме указанного в пунктах 1-2, не есть формула.

Пример 2.1.

Выражение (-xy)&((yz)~x) является формулой

Выражение (–x&yz¬~x) не является формулой

Часть формулы, которая сама является формулой, называется подформулой.

Пример 2.2.

x&(yz) – формула; yzее подформула.

Функция f есть суперпозиция функций f1,f2, ... ,fn, если f получается с помощью подстановок этих формул друг в друга и переименованием переменных.

Пример 2.3.

f1 = х12 (конъюнкция); f2 =-x (отрицание).

Возможны две суперпозиции:

1)f=f1(f2) = (—х1)&(—х2) - конъюнкция отрицаний;

2)f=f2(f1) = -(x12) - отрицание конъюнкции.

Порядок подстановки задается формулой.

Всякая формула задает способ вычисления функции, если известны значения переменных.

Пример 2.4.

Построим таблицу значений функции


f(x123)=¬(х2 ¬х3)~( x1х2).

Вычисление функции f(x1 х2, х3)


x1

x2

x3

¬x3

x2¬x3

¬(x2¬x3)

¬x1

¬x1 x2

f(x1,х2,х3)

0

0

0

1

1

0

1

1

0

0

0

1

0

1

0

1

1

0

0

1

0

1

1

0

1

1

0

0

1

1

0

0

1

1

1

1

1

0

0

1

1

0

0

0

1

1

0

1

0

1

0

0

0

1

1

1

0

1

1

0

0

1

0

1

1

1

0

0

1

0

1

1
1   ...   10   11   12   13   14   15   16   17   ...   51

Похожие:

Информатика iconВопрос что такое информатика, экономическая информатика? Предмет экономической информатики

Информатика iconИнформатика ответы на вопросы
Информатика-наука об информации, способах её представления, обработки и преобразовании

Информатика iconКафедра «Информатика» В. М. Пестриков
Учебное пособие предназначено для студентов, изучающих дисциплину «Информатика»

Информатика iconВопросы и задачи для экзамену по дисциплине «Информатика и икт»
Информатика: наука, технология, индустрия. Роль информатики в современном обществе

Информатика iconВопросы к экзамену
...

Информатика iconИнформатика определения (информация, данные, сигналы)
Информатика— наука о способах получения, накопления, хранения, преобразования, передачи, защиты и использования информации

Информатика iconК задачам информатики не относится: исследование рынка обновления компьютерной техники
Основные направления области «Информатика» Программирование, информационные системы, искусственный интеллект, теоретическая информатика,...

Информатика iconРабочая программа по дисциплине “Информатика и программирование
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по направлению...

Информатика iconУчебно-методический комплекс 230700 «прикладная информатика» профиль...
Тема Основные понятия информационного менеджмента (ИМ): определения, основные понятия отрасли ит, цель, элементы, объекты и процессы...

Информатика icon1 Операционная система windows, текстовый редактор Word
Методические указания предназначены для студентов строительных специальностей, изучающих дисциплину “Информатика”. Дисциплина должна...

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
www.zadocs.ru
Главная страница

Разработка сайта — Веб студия Адаманов