Charles Explorer logo
🇬🇧

Recognition of Interval Boolean Functions

Publication at Faculty of Mathematics and Physics |
2006

Abstract

Interval functions constitute quite a special class of Boolean functions for which it is very easy and fast to determine their functional value on a specified input vector. Their value is 'true' if and only if the input data viewed as an $n$-bit number belongs to the interval [a,b] corresponding to the function concerned.

Therefore we study the problem of deciding whether given DNF represents interval function and if so then we also want to output the corresponding interval.