Scan0010 (2)

Scan0010 (2)



1.7 Konstruowanie postaci normalnych 17

1.7.1 Metoda przekształceń

1.    Eliminacja równoważności i implikacji:

A B = {A =* B) A (B =* A),

A B = ^ A V B.

2.    Przeniesienie negacji do środka (prawa de Morgana):

rsj (A V B) co    A B,

~ {A AB) cno    N/ cno B.

3.    Usunięcie podwójnego zaprzeczenia:

~~ A = t4.

4.    Zastosowanie praw rozdzielności:

(a)    aby otrzymać dpn stosujemy prawo rozdzielności sumy względem iloczynu:

A A {B V C) = {A A B) V A C),

(b)    aby otrzymać kpn stosujemy prawo rozdzielności iloczynu względem sumy:

A V (B A C) = (4 V B) A (A V C). Przykład 1.8 Formułę (p V q) => (q V r) przedstawić w kpn.

{pW q) => {qy r) =

1.    = ~ (p V q) V (g V r) =

= (~ p A ~ g) V (g V r) =

^6.    = [~ p V (g V r)] A [~ q V (q V r)] =

= (~pVgVr)A(~gVgVr) =

= (~ p V q V r) A (1 V r) =

= (~pVgVr)Al =

= ~ p V g V r.


Wyszukiwarka

Podobne podstrony:
Część 1 12. METODA SIL LUKI 8 Równanie kanoniczne w tym przypadku ma postać: (12.17) 6„
208 Rozdział 17 Układ równań (17.2) można przekształcić również do innej postaci: dix A,-_ U
P030511 31 POLEMIKA Z SOCREALIZMEM XXXVII cel opowiadania osiągany jest metodą pośrednią (konstrukc
img014 (14) Metoda normalizaci i wewnętrznej Metoda normalizacji wewnętrznej polega na normowaniu su
img041 OBLICZANIE CAŁEK Z FUNKCJI WYMIERNYCH POSTACI Ć/faz*+b)” Uwaga 3.6 Metoda wyodrębniania częśc
IMGP1870 Pierwsza i druga postać normalna nie samoistnego znaczenia, są to tytko struktury pośn 
IMGP1872 Trzecią postać normalną można określi#! odwołując się do postaci pierwszej i drugiej ani do
Trzecia postać normalna (3NF) Schemat jest w 3NF jeżeli jest w 2NF i pomiędzy atrybutami nie należąc
Trzecia postać normalna
Wnioski Trzecia postać normalna jest wystarczająca do większości zastosowań pozostałe postacie norma
Elementu opisującego transakcję oraz upewnieniu się w której postaci normalnej jesteśmy
Postać normalna klucza EKNF - Elementary Key Normal Form nazwa dostawc y nazwa części id
Czwarta postać normalna (4NF) Problem wielowartościowych zależności. MVD - Multivalued

więcej podobnych podstron