<<  Множества Задача 2  >>
Вывод

Вывод. -. -. +. +. -. -. -. +. -. Троллейбус. Автобус. Трамвай. Алеша. Боря. Витя. Алеша поедет на трамвае. Боря поедет на троллейбусе. Витя поедет на автобусе.

Слайд 7 из презентации «Занимательные логические задачи»

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

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

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

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

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

«Примеры логических функций» - Определите значение формулы, упростив и построив таблицу истинности. Определить истинность формулы. Определите, кто из подозреваемых участвовал в преступлении. Логические функции двух переменных. В нарушении правил обмена валюты подозреваются четыре банка. Логические функции. Определение. Заполните таблицу истинности.

«Законы логики» - Буля. Как составить расписание. Избавимся от импликации и отрицания. Применим (Аv 1= 1 ). Получим:B& (Av1) vA&CvB&C= BvA&CvB&C. Пикока, Морган в 1841-1847гг. опубликовал ряд работ по основам алгебры. Упрощение сложных высказываний. Применим закон двойного отрицания, получим: (A v В) & ¬(¬(В v С)) = (A v В) & (B v С).

«Логические таблицы истинности» - Как правильно составить и использовать? Выяснить количество столбцов = количество переменных + количество логических операций. Таблицы истинности. Для составления таблицы необходимо: Таблица истинности сложного логического выражения. Заполнить таблицу истинности по столбцам. Установить последовательность выполнения логических операций.

«Функции алгебры логики» - Задача выполнимости булевых формул. Таблица для функции f. Обозначения. Джордж Буль. «Табличное» задание функции. Правила поглощения. Булеву функцию можно выразить формулой над множеством операций. Огастес (Август) де Морган. Класс всех самодвойственных функций. Набор полных систем. Дистрибутивность импликации.

Всего в теме «Алгебра логики» 19 презентаций
Урок

Алгебра

35 тем