Logic Function Of Type