Вы находитесь на странице: 1из 4

Контрольная работа

Тема контрольной работы: булевы функции, фиктивные пере-


менные, двойственные функции
 и двойственные
 формулы.
Ff
 

по определению 0 по определению
? 
двойственной

функции двойственной

формулы
(F )f
3   4
?  ? 
0
1 ∗
(F )f ∗ # ? (F )f ∗
  таблица  
0 00
 ?0  истинности f 0 ? 
" !
Ff0 ∗ Ff∗∗
  2  
# ?
0
1 - таблица  100 
истинности f ∗
" !
удалить
5 фиктивные переменные
# ?
таблица
истинности f ∗
" !
Схема контрольной работы (решение каждой из десяти задач
начинать с постановки задачи и делать вывод из сравнения таблиц ис-
тинности функции f ∗ , полученных разными способами; F обозначает
формулу без лишних скобок, (F ) – с недостающими скобками).
Задания на контрольную работу (формула Ff )

1) x → y → (z ⊕ xy); 11) xz ↓ y/(y ⊕ x); 21) y ⊕ z → y(x ↓ z);


2) x ← y ← (z ⊕ xy); 12) z ⊕ y ← (x ∼ y); 22) x ⊕ z → x(y/z);
3) x/y/(z ∼ xy); 13) x ∨ z ↓ y/(y ∼ x); 23) xy ∨ z/(x → z);
4) z → y → (x ⊕ zy); 14) xz → y ↓ (y ⊕ x); 24) y ∼ z → y(x/z);
5) x → y → (z ∼ xy); 15) xz ⊕ y → (x ∼ y); 25) x → z/x(y ↓ z);
6) x → y → (y ⊕ xz); 16) z ∼ xy → (x ↓ y); 26) y ⊕ zy/y(x ↓ z);
7) y ← y ← (z ⊕ xy); 17) xz ↓ y/x(y ⊕ z); 27) x/z → y(x ↓ z);
8) x/y → (z ∼ xy); 18) x ∨ yz ↓ (y ∼ x); 28) x/z → y(x → z);
9) z → xy → (x ⊕ z); 19) z ↓ xy ∼ (x → z); 29) x ∼ z → y(x/z);
10) x → xy → (z ∼ y); 20) xy ↓ x/(x ⊕ y); 30) x → y/x(y ↓ z).

1
Пример. Задана формула

Ff = z ⊕ y ← (x ← yz).

0) Расставим недостающие скобки в формуле Ff . Возьмем в скоб-


ки конъюнкцию, затем остальные подформулы слева направо:

(F )f = (z ⊕ y) ← (x ← (yz)).

1), 2) Построим таблицу истинности функции f (x, y, z) по фор-


муле (F )f . Получим таблицу истинности двойственной функции
f ∗ (x, y, z) по таблице истинности функции f (x, y, z), переворачивая
и инвертируя столбец значений функции f (x, y, z):
x y z (z ⊕ y) ← (x ← (yz)) f (x, y, z) f ∗ (x, y, z)
0 0 0 0 0 1 1 0 0 1
0 0 1 1 1 1 1 1 1 0
0 1 0 1 1 1 1 0 1 0
0 1 1 0 0 1 1 0 0 1
1 0 0 0 0 0 1 0 0 1
1 0 1 1 1 0 0 1 1 0
1 1 0 1 1 0 1 0 1 0
1 1 1 0 0 0 1 0 0 1
2 5 3 4 1
3) По определению двойственной функции получим из формулы
(F )f формулу двойственой функции (F 0 )f ∗ , инвертируя переменные и
саму функцию f . Упростим формулу (F 0 )f ∗ , заменив инверсию функ-
ции обратной импликации на не обратную импликацию:

(F 0 )f ∗ = (z ⊕ y) ← (x ← (yz)) = (z ⊕ y) ←- (x ← (yz)).

00 ) Уберем лишние скобки в формуле (F 0 )f ∗ вокруг конъюнкции и


первой слева функции (⊕):

Ff0 ∗ = z ⊕ y ←- (x ← yz).

4) Построим формулу, двойственную (F )f . Заменим в формуле


(F )f символы элементарных функций на символы двойственных им
функций:
(F ∗ )f ∗ = (z ∼ y) ,→ (x ,→ (y ∨ z)).

2
000 ) Уберем лишние скобки в формуле (F ∗ )f ∗ . Опустим скобки во-
круг первой слева функции (∼):

Ff∗∗ = z ∼ y ,→ (x ,→ (y ∨ z)).

10 ) Построим по формуле Ff0 ∗ таблицу истинности двойственной


функции f ∗ (x, y, z) :
x y z z ⊕ y ←- (x ← yz) f ∗ (x, y, z)
0 0 0 1 0 1 1 1 0 1
0 0 1 0 1 1 0 1 0 0
0 1 0 1 1 0 0 0 1 0
0 1 1 0 0 0 1 1 0 1
1 0 0 1 0 1 1 1 0 1
1 0 1 0 1 1 0 1 0 0
1 1 0 1 1 0 0 1 1 0
1 1 1 0 0 0 1 1 0 1
2 4 3 6 5 1
100 ) Построим по формуле Ff∗∗ таблицу истинности двойственной
функции f ∗ (x, y, z) :
x y z z∼y ,→ (x ,→ (y ∨ z)) f ∗ (x, y, z)
0 0 0 1 1 1 0 1 1 1
0 0 1 0 0 1 0 1 1 0
0 1 0 0 0 1 1 0 0 0
0 1 1 1 1 1 0 0 1 1
1 0 0 1 1 0 0 1 1 1
1 0 1 0 0 0 0 1 1 0
1 1 0 0 0 0 0 0 0 0
1 1 1 1 1 0 0 0 1 1
1 6 2 5 3 4
Вывод. Таблицы истинности двойственной функции f ∗ (x, y, z) из
задач 2, 10 , 100 совпадают, – значит, все задачи решены верно (кроме,
может быть, задачи 0).
5) Удалим фиктивные переменные функции f ∗ (x, y, z) в ее табли-
це истинности. Так как вес столбца значений функции четный, то
переменные функции могут быть фиктивными. Рассмотрим перемен-
ную x. Верхняя половина столбца значений функции f ∗ (x, y, z) (1001)

3
равна нижней половине (1001), – значит, переменная x является фик-
тивной. Удаляем из таблицы истинности столбец x и все строки, в
которых x принимает значение 0:
y z f ∗ (y, z)
0 0 1
0 1 0
1 0 0
1 1 1
В полученной таблице истинности верхняя половина столбца значений
функции f ∗ (y, z) (10) не равна нижней половине (01), – значит, пере-
менная y существенна. Четвертины первой же половины не равны, –
значит, переменная z тоже существенна.