Abstrakt
Definujeme 2DNF formuli Booleovske zobrazeni z n bitu do n+1 bitu takove, ze v kazdem vyrokovem dukazovem systemu pro nejz je PHP princip obtizny, je tezke dokazat a jakemkoliv slovu delky n+1, ze nepatri mezi hodnoty zobrazeni.
Definujeme 2DNF formuli Booleovske zobrazeni z n bitu do n+1 bitu takove, ze v kazdem vyrokovem dukazovem systemu pro nejz je PHP princip obtizny, je tezke dokazat a jakemkoliv slovu delky n+1, ze nepatri mezi hodnoty zobrazeni.