Лекция дискрет 12
.pdfПримеры применения «полезных соотношений»
|
(3.2.3) |
|
(x & y) ((z x) & ¬y) |
= (x & y) (z & ¬y) (x & ¬y) = |
|
|
(3.2.3) |
(3.2.10) |
= ((x & y) (x & ¬y)) (z & ¬y) = |
(x & (y ¬y)) (z & ¬y) = |
(3.2.7)
= (x & 1) (z & ¬y) = x (z & ¬y)
(3.3.5) |
|
x (x & ((y & ¬z) (¬y & z))) = |
|
(3.2.7) |
(3.2.7) |
= x (0 & ((y & ¬z) (¬y & z))) = |
x 0 = x |
3) Эквивалентные преобразования небулевских формул
(A)x y = (¬x & y) (x & ¬ y) = (x y) & (¬x ¬y)
(B)x y = (x & y) (¬x & ¬ y) = (x ¬y) & (¬x y)
(C) x y = ¬x & ¬y |
(D) |
x y = ¬x ¬y |
(E) 0 = x & ¬x (F) |
x y = ¬x y |
(G) 1 = x ¬x |
Пример 1
(F) |
(3.2.8) |
(x y) (( x&y) (x& y)) = (x y) ( x&y) (x& y) =
(3.3.2) |
(3.3.5) |
|
= ( x& y) ( x&y) (x& y) |
= x (x& y) = x y |
|
|
|
|
|
|
|
Пример 2 |
(F) |
|
(F) |
||
|
|
|
|
||
|
((x y) (x y)) & (( x y) (x y)) = |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(A) |
(F) |
(A) |
= ( (x y) x y) & ( ( x y) (x y)) =
(3.2.8)
= ( ((x y) & (¬x ¬y)) x y) &
3.3.1a + 3.3.1a
& ( x y (¬x & y) (x & ¬ y)) =
(3.2.8) (3.2.8)
=( (x y) (¬x ¬y) x y) & (x y) =
3.3.4+ 3.3.1a
=( ( x & y) (x & y) x y) & (x y) =
(3.2.10) |
(3.2.7) |
(3.2.7) |
= ( x y x)&(x y) = (1 y)&(x y) = 1&(x y) = x y