Контрольные вопросы и задания

1. Преобразовать формулы к дизъюнктивной и конъюнктивной нормальным формам:

1. ((A  B)  (C  A))  (B  C);

2. ((((A  B)  A)  B)  C)  C;

3. (A  (B  C))  ((A  C)  (A  B)).

2. Привести к СДНФ и СКНФ формулы:

1. (  С  С);

2. ((А 

3.    .

3. По данному набору значений переменных построить элементарную конъюнкцию, истинную только для этого набора значений переменных.

4. По данному набору значений переменных построить элементарную дизъюнкцию, ложную только для этого набора значений переменных.

5. Построить СКНФ и СДНФ, эквивалентные данной формуле, и найти интерпретации, на которых формула истинна и ложна:

1. С С;

2.  )С));

3. С))  С).

6. Для формул G и H, заданных таблицей 1, найти СКН - и СДН – формы и простейшие формулы, реализующие эти функции.

7. Построить формулу от трёх переменных, которая истинна в том и только в том случае, когда ровно две переменные ложны.

8. Построить формулу от трёх переменных, которая принимает такое же значение, как и большинство (меньшинство) переменных.

9. По СКНФ формулы U построить:

1. СДНФ двойственной формулы U^*;

2. СКНФ формулы U;

3. СДНФ формулы U.

10. По СДНФ формулы U и СДНФ формулы B построить:

1. СКНФ и СДНФ формулы (U  B);

2. СКНФ и СДНФ формулы (U  B);

3. СКНФ и СДНФ формулы (U  B).

3. Полные системы операций

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

Так как всякая формула может быть представлена приведенной формулой, то система ₀ = {, , } - полна.

Система  сводится к ^*, обозначается ^*, если все операции системы ^* представимы формулами над системой . Если ^* полна, то и  полна.

Последнее утверждение даёт один из способов доказательства полноты системы операций – сведение её к известной полной системе, например к ₀. То есть полной будет система , через операции которой можно выразить конъюнкцию, дизъюнкцию и отрицание.

Задание 3.1. Доказать полноту системы ₁ = {, }.

Решение. Сведем систему ₁ к полной системе ₀.

.

Если в произвольной формуле алгебры Жегалкина, реализующей булеву функцию f, раскрыть скобки и произвести все возможные упрощения, то получится формула, имеющая вид суммы произведений, то есть полинома по mod 2. Такая формула называется полиномом Жегалкина для данной функции. Линейной называется функция, полином Жегалкина которой линеен.

Задание 3.2. Представить формулу (x₁  x₂)(  x₁x₃) в виде полинома Жегалкина.

Решение.

(x₁  x₂)(  x₁x₃) = ( x₁x₂  x₁  x₂)( x₁ x₃  x₁x₃  ) =

= x₁x₂x₃  x₁ x₃  x₁x₃  x₁  x₁x₂x₃ = x₁ x₃  x₁x₃  x₁ =

= x₁ (x₂  1) x₃  x₁ x₃  x₁ (x₂  1) = x₁x₂x₃  x₁x₃  x₁x₃  x₁x₂ 

 x₁ = x₁ x₂ x₃  x₁ x₂  x₁

Полученный полином не является линейным и имеет степень 3.

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

Задание 3.3. Доказать полноту системы ₀, используя необходимое и достаточное условие полноты.

Решение. Рассмотрим соответствующую ₀ систему булевых функций F₀ = { f₁, f₂, f₃ }, где f₁(x) = x , f₂(x₁, x₂) = x₁  x₂ , f₃(x₁, x₂) = x₁  x₂ . Покажем, что в F₀ есть хотя бы одна функция (не обязательно одна и та же), не принадлежащая каждому из замкнутых классов.

1. Класс функций, сохраняющих 0.

f₁(0) = 1, f₁T₀.

2. Класс функций, сохраняющих 1.

f₁(1) = 0, f₁T₁.

3. Класс самодвойственных функций.

f₁^*(x) = ( ) = x = f₁(x). Таким образом, f₁ T^*.

f₂^*(x₁, x₂) = x₁  x₂  f₂(x₁, x₂), т.е. f₂ T^*.

4. Класс монотонных функций.

Так как f₁(0) = 1, а f₁(1) = 0, то  =0 < =1, такие что f₁() > f₁(). Следовательно, f₁T_.

5. Класс линейных функций.

f₁(x) = x = x  1, т.е. f₁ – линейна.

f₂(x₁, x₂) = x₁  x₂ = x₁x₂, а значит f₂T_L.

Следовательно, в силу теоремы Поста система ₀ полна.

Задание 3.4. Является ли система операций  ={, } полной?

Решение. Также как и в предыдущей задаче воспользуемся теоремой Поста. Рассмотрим соответствующую  систему булевых функций F = { f₁, f₂}, где f₁(x₁, x₂) = x₁x₂ , f₂(x₁, x₂) = x₁  x₂.

1. Класс функций, сохраняющих 0.

f₁(0, 0) = 1, f₁T₀.

2. Класс функций, сохраняющих 1.

f₁(1, 1) = 1, f₂(1, 1) = 1. Следовательно, f₁ T₁ и f₂ T₁, в системе нет булевой функции, не сохраняющей 1, и поэтому она неполна.