Логика высказываний (стр. 2 из 3)
Формулы φ и ψ называются равносильными, если формула φ ≡ ψ тождественно истина. Например, формула (p Ù`p) Ú q равносильна q, потому что формула (p Ù`p) Ú q ≡ q тождественно истина (проверку с помощью таблиц истинности предоставляем читателю). Формулы p Ú`p и qÚ`q также равносильны, потому что тождественно истинна формулы p Ú`p ≡ qÚ`q.
Равносильность формул может быть использована для упрощения формул, т.е. для замены какой-то формулы другой формулой, ей равносильной, (эквивалентной), но содержащей либо меньшее число связок, либо меньшее число переменных, либо другие переменные, либо и то, и другое, и третье вместе взятой.
Из определения равносильности формул следует, что тождества (3) - (9) дают нам правила преобразования исходной формулы в новую, ей равносильную к этим правилам добавим и другие правила. Так, любую формулу можно заменить эквивалентной (равносильной) формулой, в которой не содержится знаки «→», «≡» и в которой отрицание опущено лишь на элементарные высказывания. С помощью таблиц истинности можно убедиться в эквивалентности следующих формул:
(р ≡ q) ≡ (р → q) Ù (q→р) (10)
р → q ≡`p Ú q (11)
(р ≡ q) ≡ (`p Ú q) Ù (`qÚр) (12)
(р ≡ q) ≡ (p Ù q) Ú (`рÙ`q) (13)
_____
(р → q) ≡ р Ù`q (14)
р Ù1 ≡ р (15)
р Ù0 ≡ 0 (16)
р Ú0 ≡ р (17)
рÚ 1 ≡ 1 (18)
р Ùq ≡`р Ú`q (19) 
р Ú q ≡`рÙ`q (20)Итак, подобно тому, как в алгебре мы имеем возможность преобразовывать, одно выражение в другое, с какой-то точки зрения более простое (скажем, приводить алгебраическое выражение к удобному для логарифмирования виду, заменять таблицу, задающую определитель, числом и т.д.), мы можем преобразовать составные высказывания. Важное значение в алгебре высказываний имеет преобразование любого составного высказывания к конъюнктивной нормальной форме. Эта нормальная форма состоит из конъюнкции дизъюнкций, где каждый дизъюнктивный член является либо элементарным высказыванием, либо его отрицанием.
На основании установленных эквивалентностей вводим следующие правила:
а1) Со знаками Ú и Ù можно оперировать как в алгебре, пользуясь ассоциативным, коммутативным и дистрибутивным законами;
а2) `р можно заменить р;
а3) р Ùq можно заменить выражением`р Ú`q, а р Ú q - выражением`рÙ`q ;а4) р → q можно заменить выражением `p Ú q, а р ≡ q – выражением (`p Ú q) Ù(`qÚр).
Например, привести к конъюнктивной нормальной форме формулу:
((р Ú q) Ù`q ) Ú (rÙq). 
Последовательным применением правила а3) получаем : 
((р Ú q) Ù`q ) Ú (rÙq) ≡((р Ú q) Ù`q ) Ù (rÙq) ≡((р Ú q) Ú`q ) Ù (`rÚ`q) ≡≡ ((`рÙ`q) Ú`q ) Ù (`rÚ`q).
Применяя к последней формуле закон дистрибутивности, получаем формулу:
(`р Ú`q )Ù( qÙ`q) Ù (`rÚ`q).
Наконец, применяя правило а2) получаем конъюнктивную нормальную форму:
(`р Úq )Ù( qÚ`q) Ù (`rÚ`q).
Очевидно, что эта форма определяется не однозначно. Так, используя то, что qÚ`q ≡ 1 и (15), получаем другую конъюнктивную нормальную форму первоначальной формулы: (`pÚq) Ù(`rÚ`q)
Запишем обобщения законов поглощения (7):
рÙ( р Ú q1 Ú q2 Ú … Ú qп ) ≡ р (21)
рÚ ( р Ù q1Ù q2 Ù… Ù qп ) ≡ р (211)
рÙ( р Ú q1 )Ù( рÚ q2 )Ù …Ù (рÚ qп ) ≡ р (22)
рÚ ( р Ù q1 ) Ú (рÙ q2 )Ú … Ú (р Ù qп ) ≡ р (221)
Из них, а также (9), (3), (15)-(18) получаем новые эквивалентности, а значит, правила преобразования, которые позволяют сокращать число переменных, входящих в формулу:
рÚ ( qÙ`q) ≡ р (23)
рÙ ( qÚ`q) ≡ р (24)
рÚ ( qÚ`q) ≡ 1 (25)
рÙ ( qÙ`q) ≡ 0 (26)
Используя, справа налево дистрибутивный закон (6), получаем два новых соотношения:
(р Ùq ) Ú (р Ùr) ≡ р Ù (q Úr) (27)
(р Úq )Ù (р Úr) ≡ р Ú (q Ùr) (28)
Например, упростить выражение:
(р ÚqÚr) Ù (рÚ qÚ`r ).
Применяя (28), учитывая, что rÙ`r ≡ 0 и (17) получаем:
(р ÚqÚr) Ù (рÚ qÚ`r ) ≡ (р Úq) Ú (rÙ`r ) ≡ р Úq.
Иногда оказывается полезным для упрощения формулы повторить в ней какие-то выражения, используя, справа налево законы поглощения (21)-(22).
Например, упростить выражение
(р Úq )Ù (`рÚq) Ù (`рÚ`q).
Повторим `рÚq и, используя (6), (2), (17), (4) получаем:
(р Úq )Ù (`рÚq) Ù (`рÚq) Ù (`рÚ`q) ≡ (qÚ(рÙ`р)) Ù (`рÚ (qÙ`q)) ≡ (qÚ0) Ù (`рÚ 0) ≡ qÚ`р ≡ `рÚq.
Иногда для каких-то целей необходимо вводить в формулу новые переменные (буквы). Это делается с учетом тождеств (24) и (25) и законов дистрибутивности (6). Так, в выражение р Ú q можно ввести букву r. В самом деле, используя (3), а также (6), получаем:
р Ú q≡(р Úq) Ú (r Ù`r ) ≡ (р ÚqÚr) Ù (рÚ qÚ`r )
4 ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА. ПРОБЛЕМА РАЗРЕШИМОСТИ
Для каждой формулы наряду с конъюнктивной нормальной формой существует дизъюнктивная нормальная форма. Она состоит из дизъюнкции конъюнкций, в которой каждый конъюнктивный член является элементарным высказыванием или его отрицанием.
Преобразование формулы к дизъюнктивной нормальной форме происходит следующим образом: отрицанием первоначальную формулу и приведем ее к конъюнктивной нормальной форме, а затем вновь отрицанием полученное выражение согласно правилу а3).
Например, привести к дизъюнктивной нормальной форме формулу:
р Ù (р®q).
Отрицаем эту формулу и приводим полученное выражение к конъюнктивной нормальной форме:
р Ù (р®q) ≡`рÚ (р ®q) ≡`рÚ (`рÚq) ≡`рÚ (`рÙ`q) ≡(`рÚ`р) Ù(`р Ú`q) ≡ ≡(`рÚр) Ù(`р Ú`q)Отрицаем последнее выражение:
______________ ____ ______ _ _ _
(`рÚр) Ù(`р Ú`q) ≡(`рÚр) Ú (`р Ú`q) ≡ (`р Ù`р) Ú (`р Ù`q) ≡(р Ù`р) Ú (р Ùq)
Приведение формулы к нормальной форме дает иной, чем таблицы истинности метод решения проблемы разрешимости.
Чтобы формула была тождественно истинной необходимо и достаточно, чтобы в ее конъюнктивной нормальной форме каждый конъюнктивный член содержал элементарное высказывание вместе со своим отрицанием.
Доказательство получаем из (25)(91) и (15), а также определения конъюнкции. Так формула (р Ú`рÚ q) Ù( р Ú`qÚ q) тождественно истинна.
Чтобы формула была тождественно ложной необходимо и достаточно, чтобы в ее дизъюнктивной нормальной форме каждый дизъюнктивный член содержал элементарное высказывание вместе со своим отрицанием. Так формула:
(р ÙrÙ`р) Ú ( р Ù r Ù`r ) тождественно ложна.
Доказательство получаем из того, что р Ù`р≡0, (16) и определения дизъюнкции.
Формула будет выполнимой, если в ее дизъюнктивной нормальной форме есть хотя бы один дизъюнктивный член, который не содержит элементарное высказывание вместе со своим отрицанием.
В самом деле, если это условие для какой-то формулы выполнено, то для этого дизъюнктивного члена существует такой набор значения переменных, для которого он равен 1. Тогда согласно (18) для этого набора значений переменных формула принимает значение, равное1.
Например, докажем, что формула р≡ q выполнима. Приводим эту формулу к дизъюнктивной нормальной форме:
(р≡ q ) ≡(р® q) Ù(q ®р) ≡ (`р Ú q) Ù(`q Úр) ≡((`р Ú q) Ù`q) Ú((`р Ú q) Ùр) ≡ ≡ (`р Ù`q) Ú (q Ù`q) Ú (`р Ù р) Ú (q Ùр) ≡ (`р Ù`q) Ú (q Ùр) ≡ (q Ùр) Ú(`р Ù`q).
Каждый дизъюнктивный член не содержит элементарное высказывание вместе со своим отрицанием. А значит формула р≡ q выполнима.
5 СОВЕРШЕННАЯ ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА. СОВЕРШЕННАЯ КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА
Мы знаем, что одна и та же формула может быть представлена различными дизъюнктивными нормальными формами. Среди этих форм имеется совершенная дизъюнктивная нормальная форма, которая удовлетворяет условиям:
a) в ней нет двух одинаковых дизъюнкций;
b) ни одна дизъюнкция не содержит двух одинаковых конъюнкций;
c) ни одна дизъюнкция не содержит переменного высказывания вместе со своим отрицанием;
d) каждая дизъюнкция содержит в качестве дизъюнктивных членов все переменные, входящие в формулы.
Имеется два метода приведения формулы к дизъюнктивной нормальной форме.
Первый состоит в следующем: составляется истинностная таблица формулы и находятся все наборы значений переменных высказываний, при которых формула принимает значение «истина». Затем выписываются конъюнкции элементарных высказываний, отвечающие этим наборам, знаки отрицания расставляются над этими высказываниями, так, чтобы эти конъюнкции были истинными; наконец, конъюнкции соединяются знаком дизъюнкции.
Исходная формула будет равносильна выписанной дизъюнктивной нормальной форме.
В самом деле, при соблюдении требований расстановки знаков отрицания над переменными все выписанные конъюнкции будут истинными, а потому совершенная дизъюнктивная нормальная форма будет иметь тоже истинностное значение, что и исходная формула.