<<  Булевы функции Таблицы истинности  >>
Утверждение A v B считается истинным тогда и только тогда, когда

Утверждение A v B считается истинным тогда и только тогда, когда истинно хотя бы одно из исходных утверждений; утверждение A & B – когда истинны оба утверждения.

Слайд 6 из презентации «Алгебра Логики»

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

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

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

«Логические функции» - № 3.4. Доказать, пользуясь ТИ, что операция эквивалентности равносильна выражению. Имеет не менее двух входов и один выход. Истинному высказыванию ставится в соответствие 1, ложному — 0. Таким образом, А = 1, В = 0. Вопросы для размышления. Построить ТИ. Составим логическое выражение: Определяем истинность составного высказывания:

«Упростить логическое выражение» - Воспользуемся правилом дистрибутивности и вынесем за скобки А: (А ^ В) v (А ^ ¬В) = А ^ (В v ¬В). По закону исключенного третьего В v ¬В = 1, следовательно А ^ (В v ¬B) = А ^ 1 = А. Упростите логические выражения с учетом правильной последовательности выполнения логических операций: а)(A v ¬A) ^ B б) A ^ (A v B) ^ (C v ¬B) в) A v ¬A ^ B г)A ^ B v A^ ¬ B д)(A v B ) ^ (A v ¬ B) е)A ^ ¬B v B ^ C v ¬A ^ ¬B.

«Законы логики» - Применим (Аv 1= 1 ) и получим ответ: B&(1vC)vA&C=BvA&C. Морган Огастес (Августус) де (27.6.1806-18.3. 1871)-шотландский математик и логик. Задание 1. Упростить выражение: _ X ? Y V X ? Y. Профессор математики в университетском колледже в Лондоне. Задание 2. Упростите логическое выражение _______________ _____ F= (A v B)? (B v C).

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

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

«Логические высказывания» - Анализ и проектирование логических схем опираются на законы алгебры логики. Основным объектом в логике является высказывание. Даны два простых высказывания: А = {2 * 2 = 4}, В = {2 * 2 = 5}. Логическое умножение (конъюнкция). Таблица истинности функции логического умножения. Логическое сложение (дизъюнкция, V).

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

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

Алгебра

35 тем