1.составьте таблицу истинности для логического выражения ¬(¬a & ¬b) & ¬(¬a & ¬b) 2.преобразуйте логическое выражение используя законы алгебры логики.

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

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

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

1. Построение таблицы истинности Для логического выражения F=¬(¬a¬b)¬(¬a¬b)cap F equals logical not open paren logical not a logical and logical not b close paren logical and logical not open paren logical not a logical and logical not b close paren определим последовательность действий:

  1. Отрицание переменных ( ¬a,¬blogical not a comma logical not b). Конъюнкция в скобках ( ¬a¬blogical not a logical and logical not b). Отрицание результата скобок ¬(¬a¬b)logical not open paren logical not a logical and logical not b close paren. Результирующая конъюнкция двух идентичных скобок.
aa bb ¬alogical not a ¬blogical not b ¬a¬blogical not a logical and logical not b ¬(¬a¬b)logical not open paren logical not a logical and logical not b close parenРезультат ( Fcap F)
0011100
0110011
1001011
1100011

2. Преобразование логического выражения Для упрощения выражения F=¬(¬a¬b)¬(¬a¬b)cap F equals logical not open paren logical not a logical and logical not b close paren logical and logical not open paren logical not a logical and logical not b close paren применим законы алгебры логики шаг за шагом. Шаг 1: Закон идемпотентности Согласно закону идемпотентности, конъюнкция выражения с самим собой равна самому выражению ( XX=Xcap X logical and cap X equals cap X). В нашем случае X=¬(¬a¬b)cap X equals logical not open paren logical not a logical and logical not b close paren.

¬(¬a¬b)¬(¬a¬b)=¬(¬a¬b)logical not open paren logical not a logical and logical not b close paren logical and logical not open paren logical not a logical and logical not b close paren equals logical not open paren logical not a logical and logical not b close paren

Шаг 2: Закон де Моргана Закон де Моргана гласит, что отрицание конъюнкции равно дизъюнкции отрицаний ( ¬(XY)=¬X¬Ylogical not open paren cap X logical and cap Y close paren equals logical not cap X logical or logical not cap Y). Применим это к оставшейся части выражения:

¬(¬a¬b)=¬(¬a)¬(¬b)logical not open paren logical not a logical and logical not b close paren equals logical not open paren logical not a close paren logical or logical not open paren logical not b close paren

Шаг 3: Закон двойного отрицания Отрицание отрицания переменной дает саму переменную ( ¬(¬X)=Xlogical not open paren logical not cap X close paren equals cap X).

¬(¬a)¬(¬b)=ablogical not open paren logical not a close paren logical or logical not open paren logical not b close paren equals a logical or b

Итоговый результат: Выражение упрощается до операции дизъюнкции: aba logical or bЯ могу помочь с минимизацией более сложных логических функций или построением карт Карно для них. Желаете рассмотреть другой пример?

Форма ответа

Ваш аватар