Основные понятия алгебры логики. Функции алгебры логики. Основные логические эквивалентности

Вопросы и задания

1. Что такое "логическая переменная"?
2. Что такое "логическая функция"?
3. Чем логическая функция отличается от математической?
4. Что такое "элементарная логическая функция"?
5. Сколько логических функций от одной переменной может быть? Назовите их.
6. Какая логическая переменная называется фиктивной, а какая существенной?
7. Укажите основные эквивалентности для ФАЛ конъюнкция, дизъюнкция, стрелка Пирса, штрих Шеффера, сумма по модулю 2.
8. Как можно доказать эквивалентность логических функций?
9. Для каких основных логических функций от трех переменных не соблюдается ассоциативный закон? Докажите это.
10. В чем заключается " правило де Моргана"? Каково его прикладное значение.
11. Какие эквивалентности используются при минимизации логических функций? Напишите их.
12. Каково прикладное значение ФАЛ "сумма по модулю 2"? Покажите это.
13. Каково старшинство логических операций?
14. Каков порядок вычисления логических функций, заданных в аналитическом виде?