<<
>>

1.5. Равносильные формулы

Одна функция может иметь множество реализаций над данным базисом (т. е. ее можно записать с помощью различных формул). Формулы, реализующие одну и ту же функцию, называют равносильными. Обозначают .

Пример.

Пусть , .

Доказать, что.

Равносильность двух формул можно доказать с помощью таблиц истинности. Формулы равносильны, если их значения истинности совпадают на любом наборе значений истинности, входящих в них переменных.

Таблица истинности для формулы А.

x y z x~y xz A
0 0 0 1 0 0
0 0 1 1 0 0
0 1 0 0 0 1
0 1 1 0 0 1
1 0 0 0 0 1
1 0 1 0 1 1
1 1 0 1 0 0
1 1 1 1 1 1

Таблица истинности для формулы B.

x y z xz B
0 0 0 0 0 0 0
0 0 1 0 0 0 0
0 1 0 0 1 0 1
0 1 1 0 1 0 1
1 0 0 1 0 0 1
1 0 1 1 0 1 1
1 1 0 0 0 0 0
1 1 1 0 0 1 1

Тот факт, что равносильность формул логики высказываний можно проверить непосредственно, связан с тем, что переменные, входящие в формулу могут принимать конечное число значений (2n).

Но, если в формуле большое количество переменных, то вычисление всех значений истинности для формулы становится очень трудоемкой задачей.

Равносильность формул логики высказываний аналогична тождествам элементарной алгебры, известным из средней школы.

Но тождественное равенство алгебраических формул нельзя проверить простым перебором значений, т. к. число возможных значений переменных неограниченно, следовательно, доказательство равносильности никогда не закончится. В элементарной алгебре тождественные равенства формул устанавливаются с помощью небольшого числа основных тождеств – законов, связывающих между собой арифметические операции.

Для логики имеют место следующие равносильности (рассмотрим только формулы, которые содержат знаки ):

1. Коммутативный

АU ВВU А АВ=ВА

2. Ассоциативный

АU(ВU С)(АU В) U С А(ВС)=(АВ)С

3. Дистрибутивный

АU(ВС)(АU В)(АU С) А(ВU С)=АВU АС

4. Идемпотентности

АU АА А·АА

5. Поглощения

АU АВА А(АU В)А

6. АU 0 А А· 0 = 0

7. АU 1=1 А·1=А

8. АU =1 А? =0

9. Закон де Моргана

10. = 0 = 1

11 Двойное отрицание

= А

12. АВU В

13 А~В=А·ВU

14 АВ= ·ВU А·

15. А çВ = АU В = А·В

16. А ¯ В = = U

<< | >>
Источник: Викентьева О. Л.. Математическая логика и теория алгоритмов. Конспект лекций для студентов специальностей АСУ, ЭВТ, КЗИ. Пермь, 2007г.. 2007

Еще по теме 1.5. Равносильные формулы:

  1. При несоответствии изобретения с формулой заявителя условиям патентоспособности принимается
  2. Наличие общих языковых конструкций, формул и средств в эпических и правовых текстах свидетельствует, указывают
  3. Формула неосторожности
  4. 98. Постановка формулы вменяемости в науке и законодательствах
  5. Глава 6. Начала логики предложений
  6. Глава 7. Начала логики предикатов
  7. Основные равносильности.
  8. Формула Остроградского – Грина.
  9. Правильные рассуждения
  10. Элементарные булевы функции. Равносильности
  11. Основные равносильности
  12. 2.1.3. Равносильность формул логики высказываний
  13. 2.4.9. Равносильность формул логики предикатов
  14. 1.5. Равносильные формулы
  15. 1.6. Подстановка и замена
  16. 1.7. Формы представления высказываний
  17. Тема 2. Логические исчисления