Дискретная математика. Громов Ю.Ю - 42 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

42
В соответствии с методом Петрика для получения всех покрытий
столбцов строками этой таблицы составим мультипликативную-аддитив-
ную форму и преобразуем её в аддитивно-мультипликативную:
(g ∨ k ∨ m ∨ n ∨ p ∨ r) (a ∨ c ∨ d ∨ g ∨ m ∨ p) (b ∨ c ∨ e ∨ g ∨ n ∨ p)&
&(a ∨ b ∨ c ∨ d ∨ e ∨ g ∨ k ∨ n ∨ p ∨ r) (c ∨ d ∨ g ∨ k ∨ m ∨ n ∨ p) =
= (g ∨ ak ∨ kc ∨ kd ∨ m ∨ an ∨ cn ∨ dn ∨ p ∨ ar ∨ cr ∨ rd)&
&(b ∨ c ∨ e ∨ g ∨ n ∨ p) (c ∨ d ∨ g ∨ k ∨ m ∨ n ∨ p) =
= (g ∨ ak ∨ kc ∨ kd ∨ m ∨ an ∨ cn ∨ dn ∨ p ∨ ar ∨ cr ∨ rd)&
&(c ∨ g ∨ n ∨ p ∨ bd ∨ bk ∨ bm ∨ ed ∨ ek ∨ em) =
= g ∨ p ∨ abk ∨ kc ∨ an ∨ cn ∨ dn ∨ ake ∨ kbd ∨ ked ∨
∨ mc ∨ mn ∨ bm ∨ me ∨ cr ∨ rbd ∨ red =
= g ∨ p ∨ kc ∨ an ∨ cn ∨ dn ∨ mc ∨ mn ∨ bm ∨ me ∨
∨ cr ∨ abk ∨ ake ∨ kbd ∨ ked ∨ rbd ∨ red.
Каждое из полученных покрытий π
i
порождает базис B
i
в двузнач-
ной логике:
π
1
= {g} ↔ B
1
= {
o
} – базис Вебба;
π
2
= {p} ↔ B
2
= {|} – базис Шеффера;
π
3
= {k, c} ↔ B
3
= {
a
, ∼};
π
4
= {a, n} ↔ B
4
= {→, 0} – импликативный базис;
π
5
= {c, n} ↔ B
5
= {→,
↵
};
π
6
= {d, n} ↔ B
6
= {→, ⊕};
π
7
= {m, c} ↔ B
7
= {
a
, } – коимпликативный базис;
π
8
= {m, n} ↔ B
8
= {→, } – импликативный базис;
π
9
= {b, m} ↔ B
9
= {&, } – конъюнктивный базис Буля;
π
10
= {m, e} ↔ B
10
= {∨, } – дизъюнктивный базис Буля;
π
11
= {c, r} ↔ B
11
= {
a
, 1} – коимпликативный базис;
π
12
= {a, b, k} ↔ B
12
= {∼, &, 0};
π
13
= {a, k, e} ↔ B
13
= {∼, ∨, 0};
π
14
= {k, b, d} ↔ B
14
= {⊕, &, ∼};
π
15
= {k, e, d} ↔ B
15
= {⊕, ∨, ∼};
π
16
= {r, b, d} ↔ B
16
= {⊕, &, 1} – базис Жегалкина;
π
17
= {r, e, d} ↔ B
17
= {⊕, ∨, 1}.

Страницы