forms of Boolean functions