<<  Пропозициональные переменные и оценки Символы метаязыка  >>
Вычисление истинностных значений

Вычисление истинностных значений. A. B. C. (A ? ¬B) (¬B ?C) ? (A ? C). 0. 0. 0. 0 1 1 0 0 1 0 0 0 1 0 1 0. 0. 0. 1. 0 1 1 0 1 1 0 1 1 1 0 1 1. 0. 1. 0. 0 1 0 1 1 0 1 1 0 1 0 1 0. 0. 1. 1. 0 1 0 1 0 0 1 1 1 1 0 1 1. 1. 0. 0. 1 1 1 0 0 1 0 0 0 1 1 0 0. 1. 0. 1. 1 1 1 0 1 1 0 1 1 1 1 1 1. 1. 1. 0. 1 0 0 1 0 0 1 1 0 1 1 0 0. 1. 1. 1. 1 0 0 1 0 0 1 0 1 1 1 1 1. Порядок вычислений: жёлтые значения (подписываются) зелёные значения (вычисляются по жёлтым) белые значения (вычисляются по жёлтым и зелёным) розовые значения (вычисляются по белым и жёлтым) красные значения (вычисляются по розовым и являются итоговыми). v1 v2 v3 v4 v5 v6 v7 v8. Значения подформул подписываются под их главными связками.

Слайд 11 из презентации «Логика высказываний»

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

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

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

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

«Логические операции» - Основные логические операции. Число строк делится на 4 части. Например: Логическое отрицание (инверсия). В следующих столбцах – значения истинности последовательно выполняемых операций и окончательного результата. Составление таблицы истинности для сложного высказывания. (Например: ?А·(В + С).) Правило:

«Алгебра высказываний» - 5) Идеи и аппарат логики используется в программировании, базах данных и экспертных системах. PROLOG – язык логического программирования. Алгебра высказываний Простые и сложные высказывания. Следовательно, все киты имеют скелет. 2. Все квадраты - ромбы. Все киты - млекопитающие. Эквиваленция -. Применение математической логики.

«Логические функции» - Пример 1. Доказать равносильность логических выражений: и. 4. По полученной функции построим логическую схему: 4. ИМПЛИКАЦИЯ (логическое следование). Пример1. Какого цвета волосы у кандидата и мастера? Ответ: B=1, Седов рыжий C=1, Чернов седой E=1, Рыжов черноволосый. Сумматор – устройство для сложения двоичных чисел.

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

«Законы логики» - Упрощение сложных высказываний. Получим: (AvB)&Bv(AvB)&C = A&BvB&BvA&CvB&C. Воспользуемся распределительным законом: Х ? ( Y V Z ) = X ? Y V X ? Z (или вынесем общий множитель за скобку). I. Упростите логические выражения: F = Av (?A&B). Применим (Аv 1= 1 ). Получим:B& (Av1) vA&CvB&C= BvA&CvB&C.

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

Алгебра

35 тем