Упростите логические выражения 1) (a&b) v (Ᾱvb) v (c&b)= 2) (a&b̅) v (a&b) v (a&c̅)= 3) (a&b) v (a&b̅) v (Ᾱ&c)=

Поляков Евгений Александрович

Учитель информатики высшей категории

Проверено учителем

Ниже приведен подробный разбор упрощения каждого из трех логических выражений с использованием законов алгебры логики (булевой алгебры). 1) (ab)(āb)(cb)open paren a logical and b close paren logical or open paren a bar logical or b close paren logical or open paren c logical and b close paren Для начала воспользуемся свойством ассоциативности и сгруппируем слагаемые.

  1. Раскроем скобки: abābcba logical and b logical or a bar logical or b logical or c logical and b. Заметим, что у нас есть переменная bb и выражения, содержащие bb ( aba logical and b и cbc logical and b). Согласно закону поглощения ( x(xy)=xx logical or open paren x logical and y close paren equals x), выражения (ab)open paren a logical and b close paren и (cb)open paren c logical and b close paren поглощаются одиночной переменной bb. Выражение принимает вид: āba bar logical or b.

Ответ: āba bar logical or b 2) (ab̄)(ab)(ac̄)open paren a logical and b bar close paren logical or open paren a logical and b close paren logical or open paren a logical and c bar close paren Здесь во всех трех слагаемых присутствует общая переменная aa. Мы можем применить дистрибутивный закон (вынести aa за скобки).

  1. Выносим aa за скобки: a(b̄bc̄)a logical and open paren b bar logical or b logical or c bar close paren. Рассмотрим выражение в скобках. Согласно закону исключенного третьего, bb̄=1b logical or b bar equals 1 (истина). Получаем: a(1c̄)a logical and open paren 1 logical or c bar close paren. Любое выражение в дизъюнкции с единицей дает единицу: 1c̄=11 logical or c bar equals 1. Остается: a1=aa logical and 1 equals a.

Ответ: aa 3) (ab)(ab̄)(āc)open paren a logical and b close paren logical or open paren a logical and b bar close paren logical or open paren a bar logical and c close paren Применим последовательное упрощение, группируя первые два слагаемых.

  1. В первых двух скобках вынесем aa за скобки: a(bb̄)(āc)a logical and open paren b logical or b bar close paren logical or open paren a bar logical and c close paren. Используем закон исключенного третьего ( bb̄=1b logical or b bar equals 1): a1(āc)a logical and 1 logical or open paren a bar logical and c close paren. Упрощаем: a(āc)a logical or open paren a bar logical and c close paren. Применим закон дистрибутивности для дизъюнкции относительно конъюнкции: (aā)(ac)open paren a logical or a bar close paren logical and open paren a logical or c close paren. Так как aā=1a logical or a bar equals 1, выражение сводится к: 1(ac)=ac1 logical and open paren a logical or c close paren equals a logical or c.

Ответ: aca logical or c Я могу составить таблицу истинности для любого из этих выражений, чтобы подтвердить правильность упрощения. Хотите, чтобы я это сделал?

Форма ответа

Ваш аватар