Упрощение сложных высказываний Упрощение сложных высказываний – это замена их на равносильные на основе законов алгебры высказываний с целью получения высказываний более простой формы. При упрощении сложных высказываний можно использовать следующие основные приемы замены отдельной переменной или константы формулой: X = X & 1; X = X v 0 - по свойствам констант; 1 = A v A - по закону исключенного третьего; 0 = Z & Z - по закону непротиворечия; B = B v B=B v B v B v B; C = C & C=C & C & C & C – по закону идемпотентности; Е =Е - по закону двойного отрицания

Пример 1 Требуется упростить: A & B v A & B По закону дистрибутивности вынесем А за скобки: A & B v A & B = A & (B v B) = A & 1 = A

Пример 2 Требуется упростить: (A v B) & (A v B) Способ 1.Применим закон дистрибутивности: (A v B) & (A v B) = A v (B & B) = A v 0 = A Способ 2. Перемножим скобки на основании закона дистрибутивности: (A v B)&(A v B) = A&A v A&B v B&A v B&B= A v A&(B v B) v ) = A v A&1 = A v A = A

Пример 3 Требуется упростить: X v X & Y Представим X как X&1, а 1 распишем по закону исключенного третьего как Y v Y. Далее раскроем скобки: X v X&Y = X&1 v X&Y = X&(Y v Y) v X&Y = = X&Y v X&Y v X&Y. Для группировки нам не хватает одного слагаемого. Воспользуемся законом идемпотентности и добавим к полученному выражению X&Y. Получим: X&Y v X&Y v X&Y v X&Y = (X&Y v X&Y) v (X&Y v X&Y) = X&(Y v Y) v Y&(X v X) = X&1 v Y&1 = X v Y

Пример 4 Требуется упростить: A & C v B & C v A & B Один из вариантов упрощения состоит в том, чтобы добавить к последнему слагаемому переменную С. для этого умножим A7B на 1, а 1 распишем как C v C: A&C v B&C v A&B = A&C v B&C v A&B&1 = A&C v B&C v A&B&(C v C) = A&C v B&C v A&B&C v A&B&C = A&C v A&B&C v B&C v A&B&C = A&C&(1 v B) v B&C&(1 v A) = A&C v B&C.

Пример 5 Требуется упростить: X v Y Применим закон де Моргана: X v Y = X & Y = X & Y