<<  Решение Решение  >>
Эльфы и Орки

Эльфы и Орки. На остове два города, в одном живут Эльфы, говорящие только правду, а в другом – Орки, говорящие только ложь. Встретились три существа А,В,С. А говорит: «В-Орк». В говорит: «А и С из одного города». С – это Эльф или Орк?

Слайд 24 из презентации «Решение логических задач»

Размеры: 720 х 540 пикселей, формат: .jpg. Чтобы бесплатно скачать слайд для использования на уроке, щёлкните на изображении правой кнопкой мышки и нажмите «Сохранить изображение как...». Скачать всю презентацию «Решение логических задач.ppsx» можно в zip-архиве размером 4306 КБ.

Похожие презентации

краткое содержание других презентаций на тему слайда

«Логические законы» - Закон исключения констант. Закон означает отсутствие показателей степени. Закон противоречия. Построение необходимо начинать с логической операции, которая должна выполняться последней. Найдите X, если По закону де Моргана. Переместительный (коммутативный) закон. Невозможно, чтобы противоречащие высказывания были одновременно истинными.

«История алгебры логики» - Аристотель. История науки алгебры логики. Логика– это наука о формах и способах мышления. Формы мышления. Вопросы. Булева алгебра. Вильгельм Лейбниц (1646-1716). Джордж Буль. Понятие. Основной Закон Буля. Содержание. Определение формы. Высказывание – это форма мышления. Умозаключение.

«Алгебра высказываний» - Логика (формальная) - наука о законах и формах правильного мышления. Логическая операция, соответствующая союзу «тогда и только тогда, когда …». 1. Что такое логика? Джордж Буль (1815-1864, анл.) - основоположник мат. логики. Если А и В – формулы, то «не А», «А и В», «А или В», «если А, то В», «тогда и только тогда А, когда В» - формулы.

«Законы алгебры логики» - — Для логического сложения: (A + B)*C = (A*C) + (B*C) — для логического умножения: A*B + C = (A + C)*(B+ C). — Для логического умножения: A* (A + B) = A. Невозможно, чтобы противоречащие высказывания были одновременно истинными. 2. Переместительный (коммутативный) закон. Двойное отрицание исключает отрицание.

«Булевы функции» - Двойственность булевых функций. Способы задания булевых функций. Функции равны. Самодвойственные булевы функции. Булевы функции одной переменной. Порядковый номер функции. Законы и тождества алгебры логики. Булевы функции. Функция. Идемпотентность конъюнкции и дизъюнкции. Прочтение. Булевы функции двух переменных.

«Логические операции» - Импликация. Получившееся высказывание – сложное высказывание. Операции алгебры логики. Основные логические операции. В следующих столбцах – значения истинности последовательно выполняемых операций и окончательного результата. Число строк делится на 4 части. Существуют другие логические операции. Эквивалентность.

Алгебра логики

19 презентаций об алгебре логики
Урок

Алгебра

35 тем