Вычислите значении функции:f(a,b,c)=логическое отрицание(a+b)*(c+b) построить таблицу истинности.

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

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

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

Для вычисления значений функции f(a,b,c)=¬(ab)(cb)f of open paren a comma b comma c close paren equals logical not open paren a logical or b close paren logical and open paren c logical or b close paren необходимо определить порядок логических операций и составить таблицу истинности для всех возможных комбинаций входных переменных a,ba comma b и cc. Порядок операций

  1. Дизъюнкция (сложение) в скобках: x1=abx sub 1 equals a logical or b Отрицание результата первой скобки: x2=¬x1x sub 2 equals logical not x sub 1 Дизъюнкция (сложение) во второй скобке: x3=cbx sub 3 equals c logical or b Конъюнкция (умножение) результатов: f=x2x3f equals x sub 2 logical and x sub 3

Таблица истинности В таблице ниже используются следующие обозначения: 1 — истина (true), 0 — ложь (false).

aa bb cc aba logical or b ¬(ab)logical not open paren a logical or b close paren cbc logical or b f(a,b,c)f of open paren a comma b comma c close paren
0000100
0010111
0101010
0111010
1001000
1011010
1101010
1111010

Анализ результата Функция принимает истинное значение (1) только в одном случае:

  • Когда a=0a equals 0, b=0b equals 0 и c=1c equals 1.

Во всех остальных семи комбинациях функция принимает ложное значение (0). Это происходит потому, что для истинности выражения необходимо, чтобы первая скобка после отрицания была ложной (значит, и aa, и bb должны быть равны 0), а вторая скобка — истинной (поскольку bb уже равно 0, переменная cc обязана быть равной 1). Упрощенная логическая форма Используя законы де Моргана, функцию можно преобразовать к виду: f(a,b,c)=(āb̄)(cb)f of open paren a comma b comma c close paren equals open paren a bar logical and b bar close paren logical and open paren c logical or b close parenРаскрывая скобки: f(a,b,c)=(āb̄c)(āb̄b)f of open paren a comma b comma c close paren equals open paren a bar logical and b bar logical and c close paren logical or open paren a bar logical and b bar logical and b close parenТак как (b̄b)=0open paren b bar logical and b close paren equals 0, выражение упрощается до: f(a,b,c)=āb̄cf of open paren a comma b comma c close paren equals a bar logical and b bar logical and cХотите, чтобы я составил для этой функции совершенную дизъюнктивную нормальную форму (СДНФ)?

Форма ответа

Ваш аватар