Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
tematy_prac_inzynierskich [2020/06/28 03:07] pszwed [4. Generacja i testy Negatywnych Baz Danych] |
tematy_prac_inzynierskich [2020/06/28 03:14] pszwed [4. Generacja i testy Negatywnych Baz Danych] |
||
---|---|---|---|
Line 80: | Line 80: | ||
Negatywne Bazy Danych (NDB) przechowują w jawnej postaci negatywną informację. Można to przeanalizować na przykładzie łańcucha bitów 101. Negatywna reprezentacja to oczywiście wyliczenie innych wariacji: 001,010, itd. Stosując symbole wieloznaczne może to być również | Negatywne Bazy Danych (NDB) przechowują w jawnej postaci negatywną informację. Można to przeanalizować na przykładzie łańcucha bitów 101. Negatywna reprezentacja to oczywiście wyliczenie innych wariacji: 001,010, itd. Stosując symbole wieloznaczne może to być również | ||
< | < | ||
- | Te dwie ostatnie specyfikacje są równoważne formule logicznej $b_0\and\not b_2 \or \not b_0$. Znalezienie ciągu zdań (bitów) to zagadnienie SAT [[https:// | + | Te dwie ostatnie specyfikacje są równoważne formule logicznej |
+ | |||
+ | $f=b_0\wedge \neg b_2 \lor \neg b_0$. | ||
+ | |||
+ | Znalezienie ciągu zdań (bitów), dla których formuła jest prawdziwa | ||