Charles Explorer logo
🇨🇿

Přejmenovatelné Intervalové Booleovské Funkce

Publikace na Matematicko-fyzikální fakulta |
2006

Abstrakt

V tomto článku se zabýváme problémem jak rozhodnout, zda daná DNF reprezentuje intervalovou funkci a v kladném případě jak zjistit odpovídající interval. Tento výsledek je dále zobecněn na 'přejmenovatelnou' variantu intervalových funkcí, tj. na jejich uzávěr vzhledem ke komplementaci promenných.