Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

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

Получить выполненную работу или консультацию специалиста по вашему учебному проекту
Узнать стоимость

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

Пример.

Пусть , .

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

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

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

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. Коммутативный

            АÚ ВВÚ А                                     АВ=ВА

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

            АÚ(ВÚ С)(АÚ В) Ú С                  А(ВС)=(АВ)С

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

            АÚ(ВС)(АÚ В)(АÚ С)                  А(ВÚ С)=АВÚ АС

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

            АÚ АА                                           А·АА

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

            АÚ АВА                                         А(АÚ В)А

6.         АÚ  0 А                                         А· 0 = 0

7.         АÚ 1=1                                              А·1=А

8.         АÚ =1                                            А× =0

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

                                            

10.        = 0                                                    = 1

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

            = А 

12.       АВÚ В

13        А~В=А·ВÚ

14        АВ= ·ВÚ А·

15.      А çВ = АÚ В = А·В

Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас. Бесплатные корректировки и доработки. Узнайте стоимость своей работы.

16.      А ¯ В = = Ú