Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/11/01 Vol. E88-ANo. 11pp. 3264-3266 Type of Manuscript: LETTER Category: General Fundamentals and Boundaries Keyword: Boolean function, Horn function, prime implicant, P-complete,