- Даны два высказывания: А — «В Африке водятся жирафы» и В —
«В Мурманске идёт снег». Постройте из них различные сложные вы
сказывания. - Дано высказывание «Винни-Пух любит мёд, и дверь в дом открыта».
Как бы вы сформулировали отрицание этого высказывания? - Что такое таблица истинности?
- Почему таблица истинности для операции «НЕ» содержит две стро
ки, а таблицы для других изученных операций — четыре? Сколько
строк в таблице истинности выражения с тремя переменными? С че
тырьмя? С пятью?
- В каком порядке обычно записываются значения переменных в таб
лице истинности? Зачем это нужно? - Когда истинно высказывание А И В? А ИЛИ В?
- Какие электрические схемы можно использовать для иллюстрации
операций «И» и «ИЛИ,? - Какие знаки применяют для обозначения операций «НЕ», «И»,
«ИЛИ»
- В чём различие арифметического и логического сложения?
- Сколько можно определить различных логических функций с двумя
переменными? С тремя переменными? - Чем отличается операция «исключающее ИЛИ» от операции
«ИЛИ»? - Почему операция «исключающее ИЛИ» называется сложением по
модулю 2? - Как записать выражение АФВс помощью базового набора операций
(НЕ, И, ИЛИ)? - Как можно доказать или опровергнуть логическое равенство?
- Какими интересными свойствами обладает операция «исключающее
ИЛИ»? - Что значит выражение «обратимая операция»? Какие изученные ло
гические операции являются обратимыми? - Какое свойство операции «исключающее ИЛИ» позволяет использо-
вать ее для простейшего шифрованиям - Чем отличается смысл высказывания «если А, то В» в обычной речи
- Запишите в виде логической формулы высказывание «Если утюг го
рячий, то лоб холодный». - Запишите в виде логической формулы высказывание «Неверно, что
если утюг горячий, то лоб холодный». Можно ли в этом случае сразу
сказать, каким является утюг и каким — лоб? - Как выразить импликацию через операции «НЕ» и «ИЛИ»? Дока
жите полученное тождество. - Как выразить эквивалентность через операции «НЕ», «И» и «ИЛИ»?
Докажите полученное тождество. - Чем интересны операции «штрих Шеффера» и «стрелка Пирса»?
- Докажите тождества, позволяющие представить базовые логические
операции через штрих Шеффера. Попробуйте построить и доказать
аналогичные тождества для операции «стрелка Пирса». - Что такое формализация?
- В каком порядке выполняются действия в логических выражен
- Что можно сделать для того, чтобы изменить естественный по]
действий? - Какие операции называются бинарными и унарными? Прив
примеры унарных и бинарных операций в математике. - Поясните разницу между терминами «логическое выражение» i
гическая функция». - Можно ли сказать, что таблица истинности однозначно определ:
б) логическую функцию?
- Что такое вычислимое логическое выражение?
- Что такое тавтология? Противоречие? Приведите примеры.
- Что такое равносильные выражения?