Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
tematy_prac_inzynierskich [2020/06/28 03:10] pszwed [4. Generacja i testy Negatywnych Baz Danych] |
tematy_prac_inzynierskich [2020/06/28 03:10] pszwed [4. Generacja i testy Negatywnych Baz Danych] |
||
|---|---|---|---|
| Line 82: | Line 82: | ||
| Te dwie ostatnie specyfikacje są równoważne formule logicznej | Te dwie ostatnie specyfikacje są równoważne formule logicznej | ||
| - | $b_0\wedge \neg b_2 \lor \not b_0$. | + | $b_0\wedge \neg b_2 \lor \neg b_0$. |
| Znalezienie ciągu zdań (bitów) to zagadnienie SAT [[https:// | Znalezienie ciągu zdań (bitów) to zagadnienie SAT [[https:// | ||
