Add reference doc for Boolean functions