scispace - formally typeset
Journal ArticleDOI

Maxterm Type Expressions of Switching Functions and Their Prime Implicants

S. R. Das, +1 more
- 01 Dec 1965 - 
- Vol. 14, Iss: 6, pp 920-923
TLDR
Algorithms have been formulated for this purpose which first generate all possible prime implicants corresponding to a specified switching function and then select minimal subsets of these primeimplicants for use in the formation of the minimal networks.
Abstract
One of the basic problems of combinational switching circuit theory is that of designing circuits with a minimum number of AND-gates or prime implicants. Algorithms have been formulated for this purpose which first generate all possible prime implicants corresponding to a specified switching function and then select minimal subsets of these prime implicants for use in the formation of the minimal networks [1]-[6]. In practically all the currently available methods of simplification of switching functions, use is made of the minterm type expression specified in the algebraic or its equivalent binary or decimal form. Operations with binary or decimal numbers have become very popular because of their inherent advantages.

read more

References
More filters
Journal ArticleDOI

Minimization of Boolean functions

TL;DR: A systematic procedure is presented for writing a Boolean function as a minimum sum of products and specific attention is given to terms which can be included in the function solely for the designer's convenience.
Journal ArticleDOI

The Problem of Simplifying Truth Functions

TL;DR: The Problem of Simplifying Truth Functions is concerned with the problem of reducing the number of operations on a graph to a simple number.
Journal ArticleDOI

The synthesis of two-terminal switching circuits

TL;DR: A basic part of the general synthesis problem is the design of a two-terminal network with given operating characteristics, and this work shall consider some aspects of this problem.
Journal ArticleDOI

Simplest Normal Truth Functions

TL;DR: This paper develops a method for both disjunctive and conjunctive normal truth functions which is in some respects similar to Quine's but which does not involve prior expansion of a formula into developed normal form.
Journal ArticleDOI

A Topological Method for the Determination of the Minimal Forms of a Boolean Function

TL;DR: A numerical easily programmed procedure is given with which it is possible to treat problems with a greater number of variables than has heretofore been practical.