APPLICATION OF CONSENSUS THEORY TO THE MINIMIZATION OF BOOLEAN FUNCTIONS.

Abstract

Given two implicants of a boolean function, we can by performing their consensus, find a third implicant. This operation has been used for finding the prime implicants of a boolean function. In this paper, the consensus is extended from two to any number of terms. A property of these generalized consensus relations leads to a systematic way of finding them. It is shown that any prime implicant of a boolean function is a generalized consensus, therefore the algorithm for the determination of the consensus relations can be used for finding the prime implicants. This new method is simpler than the usual process of iterative consensus. It is also shown in this paper that consensus theory can be used for finding the minimal sums of a boolean function. The methods applicable for any boolean function, with or without don't care conditions, with a single or a multiple output. (Author)

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1966
Accession Number
AD0634800

Entities

People

  • Pierre Tison

Organizations

  • New York University Tandon School of Engineering

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Complex Variables
  • Functions (Mathematics)
  • Mathematical Analysis
  • Mathematics

Fields of Study

  • Mathematics

Readers

  • Approximation Theory.
  • Computer Engineering
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.