<<  Пример Закрепление изученного №1  >>
Задание 2. Упростите логическое выражение F= (A v B)

Задание 2. Упростите логическое выражение F= (A v B)? (B v C). Избавимся от импликации и отрицания. Воспользуемся (¬(A?B)=A& ¬ B). Получится: ¬((AvB)? ¬(BvC))= (AvB)& ¬ (¬(BvC)). Применим закон двойного отрицания, получим: (A v В) & ¬(¬(В v С)) = (A v В) & (B v С). Применим правило дистрибутивности ((A?B) +(A?C) = A?(B+C)). Получим: (AvВ)& (B v С)= (AvB)&Bv(AvB)&C Применим закон коммутативности (A&B=B&A ) и дистрибутивности (16). Получим: (AvB)&Bv(AvB)&C = A&BvB&BvA&CvB&C. Применим (А& A= A) и получим: A&BvB&BvA&CvB&C= A&BvBvA&CvB&C Применим ((A&B) v(A&C) = A&(BvC) ), т.е. вынесем за скобки В. Получим:A&BvBvA&CvB&C= B& (Av1)vA&CvB&C. Применим (Аv 1= 1 ). Получим:B& (Av1) vA&CvB&C= BvA&CvB&C. Переставим местами слагаемые, сгруппируем и вынесем В за скобки. Получим:BvA&CvB&C = B& (1vC)vA&C. Применим (Аv 1= 1 ) и получим ответ: B&(1vC)vA&C=BvA&C. 11.

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

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

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

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

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

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

«Логические функции» - Решение задач средствами алгебры логики. Логическое сложение: F=АvBvCvD 3. Выключатель. Примеры: Построим таблицу истинности для следующей функции: Основные формы мышления: F15(X, Y) = (отрицание конъюнкции). Решим задачи: Какие логические выражения называются равносильными? 2. Объединив полученные конъюнкции дизъюнкцией, получим следующую логическую функцию.

«Логические операции» - Число строк (23 = 8) делится пополам. А = Площадь квадрата больше единицы, В = Сторона квадрата больше единицы. Данное высказывание равносильно поездке на матч – М. Логическое сложение (дизъюнкция). Существуют другие логические операции. Таблица истинности. Самостоятельная работа. Отрицание истинного высказывания есть ложь.

«Алгебра высказываний» - Силлогизм - рассуждение, в котором из заданных двух суждений выводится третье. Всякая логическая переменная и символы «истина» («1») и «ложь» («0»)- формулы. Инверсия; конъюнкция; дизъюнкция; импликация и эквивалентность. PROLOG – язык логического программирования. Никаких других формул в алгебре логики нет.

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

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

Алгебра

35 тем