Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Subject Algebra, Boolean Degree Name Master of Science (M.S.)

On systems of Boolean equations

Creator:

Toms, Ralph Marvin

Resource Type:

Masters Thesis

Full Text:

algebra and algorithms for new Boolean canonical ex pressions. 1954. 54 p. (U.S. Air FQrce Cambridge
A mechanization of Quine's canonical form

Creator:

Laxdal, Albert Lee

Resource Type:

Masters Thesis

Full Text:

• ·t lN'rRODU·Gn:lON li sou FUNDAMENTAL PROPJRTIES ·OF BOOLEAN VARIABLES " . ' III BOOLEAN CANON
On the simplification of Boolean polynomials

Creator:

Dixon, Oren Wesley

Resource Type:

Masters Thesis

Full Text:

Bc'olean algebra to relay and switching circuits (6,p.713-723) the problem of simplifying Boolean
Circuit algebras and some of their properties

Creator:

Driessel, Kenneth Richard

Abstract:

It is well known that two-terminal switching circuits may be represented by boolean formulas. Thus the study of certain switching circuit problems leads to the study of free boolean algebras, in particular to the free boolean algebra on a countably infinite set of generators. An abstract characterization of this algebra...

Resource Type:

Masters Thesis

Full Text:

of free boolean algebras, in particulat to the free boolean algebra on a countably infinite set of
The mechanization of logic II

Creator:

Witcraft, Don A.

Resource Type:

Masters Thesis

Full Text:

by Jolan Eross TABLE OF CONTENTS CHAPTER I INTRODWTION CHAPTER II FINITE BOOLEAN ALGEBRA
Machine algorithms for Boolean matrices

Creator:

Comstock, Dale R.

Resource Type:

Masters Thesis

Full Text:

Typed by Carol Baker TABLE OF CONTENTS Chapter Page I. INTRODUCTION J. II, BOOLEAN ALGEBRA 3