Horn Functions with a Single Two-Negated Term(General Fundamentals and Boundaries)

スポンサーリンク

概要

• 論文の詳細を見る

• Horn functions are Boolean functions where each of the prime implicants contains at most one negative literal. A class of Boolean functions is considered in this letter where a single term containing two negative literals is added by logical-or operation to a Horn function. We show that the function does not have any prime implicant containing three negative literals. We also show that if two terms containing two negative literals are added to a Horn function, then it may have many prime implicants all of which contain three negative literals. We show that it is P-complete to determine whether a given Boolean function in disjunctive normal form of the considered class is a tautology.

• 2005-11-01

著者

• Kawamura Naoki

  Department Of Computer Science The University Of Electro-communications:(present Address)tokyo Techn

• Iwata Shigeki

  Department Of Computer Science The University Of Electro-communications

関連論文

• Identification of a 1-Mb Common Region at 16q24.1-24.2 Deleted in Hepatocellular Carcinoma
• Identification of a 1-cM Region of Common Deletion on 4q35 Associated With Progression of Hepatocellular Carcinoma
• PTEN/MMAC1 Mutations in Hepatocellular Carcinomas: Somatic Inactivation of Both Alleles in Tumors
• Horn Functions with a Single Two-Negated Term(General Fundamentals and Boundaries)
• Special Issue on Selected Papers from LA Symposium
• Transient Splenial Lesion of the Corpus Callosum in H1N1 Influenza Virus-Associated Encephalitis/Encephalopathy

スポンサーリンク