Функция тождества, или эквивалентность а ~ b

Запись читается как "а эквивалентно б". Функция истинна тогда и только тогда, когда значения переменных совпадают.

Таблица истинности функции такова:

а	b	a~b
0	0	1
0	1	0
1	0	0
1	1	1

Приоритет выполнения логических операций:

1. Отрицание;

2. Логическое умножение;

3. Логическое сложение;

4. Импликация;

5. Следование;

6. Эквивалентность.

Пример. Составить таблицу истинности для выражения: ¬(AvB)

A	B	¬(AvB)

P Вопросы для самоконтроля:

1) Что такое «логическое высказывание» и «логическое выражение».

2) Что такое «таблица истинности»?

3) Какие логические функции вы знаете?

4) Как принято обозначать логические операции: сложение, умножение, отрицание, эквивалентность, следования?

5) Каков приоритет выполнения логических операций?

6) Составьте таблицу истинности для выражения: ¬С v (¬A v B) & А v В

7) Составьте таблицу истинности для выражения: С v ¬ (A v B) v С & ¬В

P Примеры тестовых заданий:

1) Логические устройства ЭВМ проектируются на основе математического аппарата:

А. аналитической геометрии

Б. теории графов

В. реляционной алгебры

Г. булевой алгебры

2) Логическая операция А ^ В называется:

А. инверсия (логическое отрицание)

Б. дизъюнкция (логическое сложение, "или")

В. импликация ("если …, то …")

Г. конъюнкция (логическое умножение, "и")

3) Указанная таблица истинности соответствует операции:

А. логического умножения

Б. отрицания

В. эквивалентности

Г. импликации

4) Указанная таблица истинности соответствует операции:

А. логического сложения

Б. логического умножения

В. эквивалентности

Г. импликации

5) Указанная таблица истинности соответствует операции:

А. логического сложения

Б. логического умножения

В. эквивалентности

Г. импликации

&

Дата добавления: 2014-01-11