Set of tools to represent and handle boolean functions