Программирование Законы логики 2015 2 Законы операций

Программирование Законы логики 2015

2 Законы операций с константами. «И» /0 Специальные Выводятся Носить килты в современной Шотландии могут только мужчины… И это ложь. Ш^0 Ложь. 0 Значение одного из аргументов задано (0) Ш 0 Ш^0 0 0 1 0 0 0

3 Законы операций с константами. «И» /1 Специальные Выводятся Слоны очень хорошо плавают, и это правда. С^1 Слоны очень хорошо плавают. С Значение одного из аргументов задано (1) С 1 С^1 С 0 1 0 0 1 1

4 With a little help of my friends… Законы операций с константами. «ИЛИ» Определите законы операций с константами для логической операции «ИЛИ» Специальные законы Значение одного из аргументов задано (0 или 1) Постройте таблицы истинности на основе записи в виде логических функций AV 0 AV 1

5 Законы общей инверсии. Инверсия «И» Специальные Выводятся Неправда, что В. В. Путин поедет в Женеву и встретиться с Папой Римским. ⌐(Ж^П) В. В. Путин не поедет в Лондон или не встретиться с Папой Римским. ⌐ЖV⌐П Ж П Ж^П ⌐ (Ж^П) ⌐Ж ⌐П ⌐ЖV⌐П 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0

6 With a little help of my friends… Законы общей инверсии. «ИЛИ» Предложите закон общей инверсии для логической операции «ИЛИ» Специальный закон Для построения таблицы истинности используйте следующее логическое высказывание Неверно, что Гэндальф – гном или эльф.

7 With a little help of my friends… Практикум. Для каких слов ложно высказывание Неправда, что первая буква согласная или неправда, что вторая буква – гласная или неправда, что последняя буква – гласная. A. Тыква B. Программист C. Магия D. Игра

8 With a little help of my friends… Практикум. Для какого из девятеричных кодов истинно высказывание Первая и последняя цифры чётные, первая цифра – 4, и при этом неправда, что первая и последняя цифры совпадают или первая и последняя цифры чётные, неправда, что первая цифра – 4, и неправда, что первая и последняя цифры совпадают. A. B. C. D. 211112 122221 233384 833333

9 With a little help of my friends… Практикум. Для какого из логических законов ложно высказывание Аналогичный закон есть в арифметике или у закона есть парный для другой логической операции и неправда, что аналогичный закон отсутствует и у него нет парного для другой логической операции. A. Закон повторения для операции «И» B. Распределительный закон операции «ИЛИ» относительно операции «И» C. Закон двойного отрицания D. Законы операций с константами для операции «ИЛИ»

10 Опрос #13 1. Укажите, для каких из высказываний значения логических функций на одних и тех же наборах аргументов будут совпадать A. Участник оркестра играет на трубе или виолончели, или фортепьяно. B. Для подготовки к участию в шахматном турнире можно изучать учебники или заниматься с тренером, или участвовать в подготовительных соревнованиях. C. Участник оркестра играет на трубе, или на виолончели или на фортепьяно. D. Для подготовки к участию в шахматном турнире нельзя не изучать учебники, или можно заниматься с тренером или нельзя не участвовать в подготовительных соревнованиях

11 Опрос #13 2. Приведите 2 -3 примера предложений на естественном языке, не являющихся логическими высказываниями. 3. Запишите с использованием логических операций импликации (следования) и эквивалентности (тождества) следующие высказывания: Если сосуд произведён в Древней Греции, то он мог использоваться для хранения оливкового масла. Отличная оценка за контрольную работу проставляется в журнал тогда и только тогда, когда она выполнена на превосходном уровне. Укажите для каждого из высказываний подходящую таблицу истинности, составленную с использованием других логических операций.

12 Опрос #13 3. Варианты таблиц истинности: A. A B ⌐A ⌐AVB 0 0 1 1 1 1 0 0 0 1 1 0 1 A B A^B ⌐A ⌐B ⌐A^⌐B A^BV ⌐A^⌐B 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 B.