![](/user_photo/1334_ivfwg.png)
- •Логические операции
- •Логические функции.
- •Функцией алгебры логики
- •Элементарные функции алгебры логики
- •Свойства конъюнкции, дизъюнкции и отрицания
- •Свойства функций сложения по модулю 2, импликации, штриха Шеффера и стрелки Пирса (функции Вебба)
- •Известно, что любая булева функция, отличная от нуля, может быть представлена совершенной днф.
- •2. Операции поглощения, которая состоит в замене выражения на,
- •Минимальные формы
- •Метод неопределенных коэффициентов
- •Многомерный куб
- •Карты Карно
- •Карты Карно для 4-х переменных.
- •Тождественно истинные формулы
- •Отношение равносильности и эквивалентность
- •Проблема разрешимости тождественной истинности
- •Элементы теории графов
- •Основные понятия и определения
- •Цепи и циклы графов
- •Деревья на множестве вершин
- •Символ дерева
- •Экстремальное дерево.
- •Деревья графа.
- •Типы конечных графов.
- •Примеры и задачи.
- •Тождества теории множеств
- •Важнейшие зависимости фал.
- •Вопросы
- •Комбинаторика
- •Элементы алгебры логики
- •Литература
Элементарные функции алгебры логики
Рассмотрим
множество элементарных ФАЛ. Начнем со
случая, когда длина слова n=0. По формуле,
определяющей число функций логики,
вычисляем, что при n=0
=
2.
f1=0; f2=1.
Эти две функции совпадают с константами.
В случае n=1 мы имеем две функции, существенно зависящие от аргумента x, эти две функции определяются таблицей
-
x1
f 3
f 4
0
0
1
1
1
0
Эти две функции также относят к элементарным, и они записываются следующим образом
f
3=x
; f
4=(читается
«не x»).
Функцию f 4 называют функцией отрицания.
В случае n=2 имеем десять различных функций, существенно зависящих от аргументов x1 и x2.
|
|
x1x2 |
x1&x2 |
x1~x2 |
x1x2 |
x1 x2 |
x1/x2 |
x1 |
x 1 |
x 2 |
f 5 |
f 6 |
f 7 |
f 8 |
f 9 |
f 10 |
f 11 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
Функция f5(x1,x2) =x1x2 (дизъюнкция).
Функция f6(x1,x2) =x1&x2 (конъюнкция).
Вместо символов & часто применяют символ умножения «•» или вообще опускают также, как и в обычной алгебре.
Функция f7 носит название функции эквивалентности или функции равнозначности
f7(x1,x2) = x1~x2
и f7(x1,x2) = x1x2.
Функция f8 носит название импликации x1 в x2. Она обозначается f8(x1,x2) = x1x2.
Функция f9 носит название функции Вебба (или ее называют еще стрелкой Пирса) и обозначается
f 9(x1,x2) = x1vx2.
Функция f9 называется функцией (штрихом) Шеффера и обозначается следующим образом f 10(x1,x2) = x1 x2.
Функция f 11 обычно называется функцией сложения по модулю 2.
f
11(x1,x2)
=
x1x2.
Рассмотрение одиннадцати функций позволяют строить новые функции двумя основными способами:
путем перенумерации аргументов;
путем подстановки в функцию новых функций вместо аргументов.
Функцию, полученную из функций f 1, f 2, f 3, …, f k путем применения этих правил будем называть суперпозицией функции f 1, f 2, f 3, …, f k .
Имея, например, элементарные функции отрицания, дизъюнкции, эквивалентности и импликации, можно составить следующие новые функции ФАЛ.
Используя таблицы, определяющие элементарные функции, можно задать любую функцию ФАЛ, являющуюся суперпозицией этих функций.
Пример. Пусть требуется представить в виде таблицы следующую функцию
f
(x1,x2,x3)={[(
~x2)
(x1
x2)]
(x1
x2)}x3.
Будем строить ФАЛ последовательно.
x1 |
x2 |
x3 |
|
|
x1x2 |
[ ] |
x1x2 |
{ } |
f (x1,x2,x3) |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
ВЫРАЖЕНИЕ ОДНИХ ЭЛЕМЕНТАРНЫХ ФУНКЦИЙ ЧЕРЕЗ ДРУГИЕ
Функция f 8(x1,x2) = x1x2 (импликация x1 в x2) может быть записана посредством функций дизъюнкции и отрицания
x1>x2=x
2.
Доказательство осуществляется посредством таблиц истинности.
x 1 |
x 2 |
x1x2 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
x1 |
x2 |
|
|
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
Функцию эквивалентности f7(x1,x2)=x1~x2 = x1x2 выразим посредством других функций x1~x2= (
x2)&(x 1
)
x 1 |
x 2 |
x1~x2 |
| ||||
0 |
0 |
1 |
| ||||
0 |
1 |
0 |
| ||||
1 |
0 |
0 |
| ||||
1 |
1 |
1 |
| ||||
x 1 |
x 2 |
|
|
|
x1 |
( | |
0 |
0 |
1 |
1 |
1 |
1 |
1 | |
0 |
1 |
1 |
1 |
1 |
0 |
0 | |
1 |
0 |
0 |
0 |
0 |
1 |
0 | |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
f 11(x1,x2) = x1
x2=
x 1 |
x 2 |
x1 |
x1~x2 |
|
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
или
f
(x1,x2)
=
x1
x2=(
&
x2)
(x1&
)
x 1 |
x 2 |
x1 |
|
( |
|
(x1& |
( |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
=x
x |
|
|
0 |
1 |
0 |
1 |
0 |
1 |
x1& x2=
x 1 |
x 2 |
x1& x2 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
x 1 |
x 2 |
|
|
|
|
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
6.
x1
x2=
x 1 |
x 2 |
x1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
x 1 |
x 2 |
|
|
|
|
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
7.
x1x2=
x 1 |
x 2 |
x1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
x 1 |
x 2 |
|
|
|
x1 |
|
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |