Holdings: Boolean reasoning :: THWS Bibkatalog

Boolean reasoning: the logic of Boolean equations

Saved in:

Bibliographic Details
Main Author:	Brown, Frank M. (Author)
Format:	Book
Language:	English
Published:	Boston u.a. Kluwer 1990
Subjects:	Boole, Algèbre de algebre booleenne analyse booleenne equation booleenne raisonnement booleen raisonnement syllogistique Algebra, Boolean Boolesche Algebra Logik
Online Access:	Inhaltsverzeichnis
Physical Description:	XVIII, 273 S.
ISBN:	0792391217

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV004302135
003	DE-604
005	19940110
007	t
008	910320s1990 \|\|\|\| 00\|\|\| engod
020			\|a 0792391217 \|9 0-7923-9121-7
035			\|a (OCoLC)21558236
035			\|a (DE-599)BVBBV004302135
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-12 \|a DE-739 \|a DE-20 \|a DE-91 \|a DE-29T \|a DE-11 \|a DE-188
050		0	\|a QA10.3
082	0		\|a 511.3/24 \|2 20
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a SK 150 \|0 (DE-625)143218: \|2 rvk
084			\|a MAT 052f \|2 stub
100	1		\|a Brown, Frank M. \|e Verfasser \|4 aut
245	1	0	\|a Boolean reasoning \|b the logic of Boolean equations \|c by Frank Markham Brown
264		1	\|a Boston u.a. \|b Kluwer \|c 1990
300			\|a XVIII, 273 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650		4	\|a Boole, Algèbre de
650		7	\|a Boole, Algèbre de \|2 ram
650		7	\|a algebre booleenne \|2 inriac
650		7	\|a analyse booleenne \|2 inriac
650		7	\|a equation booleenne \|2 inriac
650		7	\|a raisonnement booleen \|2 inriac
650		7	\|a raisonnement syllogistique \|2 inriac
650		4	\|a Algebra, Boolean
650	0	7	\|a Boolesche Algebra \|0 (DE-588)4146280-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Boolesche Algebra \|0 (DE-588)4146280-4 \|D s
689	0		\|5 DE-604
689	1	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	1	1	\|a Boolesche Algebra \|0 (DE-588)4146280-4 \|D s
689	1		\|5 DE-604
856	4	2	\|m GBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002675545&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-002675545

Record in the Search Index

_version_	1804118493034971136
adam_text	BOOLEAN REASONING THE LOGIC OF BOOLEAN EQUATIONS BY FRANK MARKHAM BROWN AIR FORCE INSTITUTE OF TECHNOLOGY FF KLUWER ACADEMIC PUBLISHERS BOSTON/DORDRECHT/LONDON CONTENTS PREFACE XI TWO LOGICAL LANGUAGES XI BOOLEAN REASONING XII BOOLEAN ALGEBRA AND SWITCHING THEORY XIII AN APPROACH TO BOOLEAN PROBLEM-SOLVING XIV BOOLEAN REASONING VS. PREDICATE LOGIC XV OUTLINE XVI ACKNOWLEDGMENTS XVIII 1 FUNDAMENTAL CONCEPTS 1 1.1 FORMULAS 1 1.2 PROPOSITIONS AND PREDICATES 2 1.3 SETS 5 1.4 OPERATIONS ON SETS 9 1.5 PARTITIONS 11 1.6 RELATIONS 11 1.7 FUNCTIONS 16 1.8 OPERATIONS AND ALGEBRAIC SYSTEMS 18 2 BOOLEAN ALGEBRAS 23 2.1 POSTULATES FOR A BOOLEAN ALGEBRA 23 2.2 EXAMPLES OF BOOLEAN ALGEBRAS 24 2.2.1 THE ALGEBRA OF CLASSES (SUBSETS OF A SET) 24 2.2.2 THE ALGEBRA OF PROPOSITIONAL FUNCTIONS 25 2.2.3 ARITHMETIC BOOLEAN ALGEBRAS 26 2.2.4 THE TWO-ELEMENT BOOLEAN ALGEBRA 26 2.2.5 SUMMARY OF EXAMPLES 26 2.3 THE STONE REPRESENTATION THEOREM 27 V VI CONTENTS 2.4 THE INCLUSION-RELATION 28 2.4.1 INTERVALS 30 2.5 SOME USEFUL PROPERTIES 30 2.6 N-VARIABLE BOOLEAN FORMULAS 33 2.7 N-VARIABLE BOOLEAN FUNCTIONS 34 2.8 BOOLE S EXPANSION THEOREM 36 2.9 THE MINTERM CANONICAL FORM 39 2.9.1 TRUTH-TABLES 41 2.9.2 MAPS 42 2.10 THE LOEWENHEIM-MUELLER VERIFICATION THEOREM 44 2.11 SWITCHING FUNCTIONS 45 2.12 INCOMPLETELY-SPECIFIED BOOLEAN FUNCTIONS 45 2.13 BOOLEAN ALGEBRAS OF BOOLEAN FUNCTIONS 47 2.13.1 FREE BOOLEAN ALGEBRAS 48 2.14 ORTHONORMAL EXPANSIONS 48 2.14.1 LOEWENHEIM S EXPANSIONS 50 2.15 BOOLEAN QUOTIENT 53 2.16 THE BOOLEAN DERIVATIVE 56 2.17 RECURSIVE DEFINITION OF BOOLEAN FUNCTIONS 58 2.18 WHAT GOOD ARE BIG BOOLEAN ALGEBRAS? 60 3 THE BLAKE CANONICAL FORM 71 3.1 DEFINITIONS AND TERMINOLOGY 72 3.2 SYLLOGISTIC & BLAKE CANONICAL FORMULAS 73 3.3 GENERATION OF BCF(F) 75 3.4 EXHAUSTION OF IMPLICANTS 76 3.5 ITERATED CONSENSUS 77 3.5.1 QUINE S METHOD 78 3.5.2 SUCCESSIVE EXTRACTION 80 3.6 MULTIPLICATION 80 3.6.1 RECURSIVE MULTIPLICATION 81 3.6.2 COMBINING MULTIPLICATION AND ITERATED CONSENSUS ... 83 3.6.3 UNWANTED SYLLOGISTIC FORMULAS 85 CONTENTS VII 4 BOOLEAN ANALYSIS 87 4.1 REVIEW OF ELEMENTARY PROPERTIES 87 4.2 BOOLEAN SYSTEMS 88 4.2.1 ANTECEDENT, CONSEQUENT, AND EQUIVALENT SYSTEMS ... 89 4.2.2 SOLUTIONS 89 4.3 REDUCTION 89 4.4 THE EXTENDED VERINCATION THEOREM 91 4.5 PORETSKY S LAW OF FORMS 92 4.6 BOOLEAN CONSTRAINTS 93 4.7 ELIMINATION 95 4.8 ELIMINANTS 100 4.9 RUDUNDANT VARIABLES 107 4.10 SUBSTITUTION 113 4.11 THE TAUTOLOGY PROBLEM 115 4.11.1 TESTING FOR TAUTOLOGY 115 4.11.2 THE SUM-TO-ONE THEOREM 116 4.11.3 NEARLY-MINIMAL SOP FORMULAS 117 5 SYLLOGISTIC REASONING 123 5.1 THE PRINCIPLE OF ASSERTION 124 5.2 DEDUCTION BY CONSENSUS 126 5.3 SYLLOGISTIC FORMULAS 127 5.4 CLAUSAL FORM 129 5.5 PRODUCING AND VERIFYING CONSEQUENTS 132 5.5.1 PRODUCING CONSEQUENTS 132 5.5.2 VERIFYING CONSEQUENTS 133 5.5.3 COMPARISON OF CLAUSES 134 5.6 CLASS-LOGIC 134 5.7 SELECTIVE DEDUCTION 136 5.8 FUNCTIONAL RELATIONS 138 5.9 DEPENDENT SETS OF FUNCTIONS 140 5.10 SUM-TO-ONE SUBSETS 143 5.11 IRREDUNDANT FORMULAS 145 VIII CONTENTS 6 SOLUTION OF BOOLEAN EQUATIONS 153 6.1 PARTICULAR SOLUTIONS AND CONSISTENCY 154 6.2 GENERAL SOLUTIONS 156 6.3 SUBSUMPTIVE GENERAL SOLUTIONS 158 6.3.1 SUCCESSIVE ELIMINATION 159 6.3.2 DERIVING ELIMINANTS FROM MAPS 161 6.3.3 RECURRENT COVERS AND SUBSUMPTIVE SOLUTIONS 162 6.3.4 SIMPLIFIED SUBSUMPTIVE SOLUTIONS 166 6.3.5 SIMPLIFICATION VIA MARQUAND DIAGRAMS 167 6.4 PARAMETRIC GENERAL SOLUTIONS 167 6.4.1 SUCCESSIVE ELIMINATION 169 6.4.2 PARAMETRIC SOLUTIONS BASED ON RECURRENT COVERS . . . 172 6.4.3 LOEWENHEIM S FORMULA 175 7 FUNCTIONAL DEDUCTION 181 7.1 FUNCTIONALLY DEDUCIBLE ARGUMENTS 182 7.2 ELIMINABLE AND DETERMINING SUBSETS 187 7.2.1 U-ELIMINABLE SUBSETS 187 7.2.2 -DETERMINING SUBSETS 189 7.2.3 CALCULATION OF MINIMAL -DETERMINING SUBSETS . . . . 190 8 BOOLEAN IDENTIFICATION 193 8.1 PARAMETRIC AND DIAGNOSTIC MODELS 195 8.1.1 PARAMETRIC MODELS 195 8.1.2 THE DIAGNOSTIC AXIOM 197 8.1.3 DIAGNOSTIC EQUATIONS AND FUNCTIONS 197 8.1.4 AUGMENTATION 199 8.2 ADAPTIVE IDENTIFICATION 201 8.2.1 INITIAL AND TERMINAL SPECIFICATIONS 201 8.2.2 UPDATING THE MODEL 204 8.2.3 EFFECTIVE INPUTS 205 8.2.4 TEST-PROCEDURE 208 CONTENTS IX 9 RECURSIVE REAIIZATIONS OF COMBINATIONAL CIRCUITS 211 9.1 THE DESIGN-PROCESS 212 9.2 SPECIFICATIONS 213 9.2.1 SPECIFICATION-FORMATS 214 9.2.2 CONSISTENT SPECIFICATIONS 218 9.3 TABULAR SPECIFICATIONS 219 9.4 STRONGLY COMBINATIONAL SOLUTIONS 223 9.5 LEAST-COST RECURSIVE SOLUTIONS 224 9.6 CONSTRUCTING RECURSIVE SOLUTIONS 229 9.6.1 THE PROCEDURA 232 9.6.2 AN IMPLEMENTATION USING BORIS 234 A SYLLOGISTIC FORMULAS 239 A.L ABSORPTIVE FORMULAS 240 A.2 SYLLOGISTIC FORMULAS 240 A.3 PRIME IMPLICANTS 244 A.4 THE BLAKE CANONICAL FORM 245 BIBLIOGRAPHY 247 INDEX 265
any_adam_object	1
author	Brown, Frank M.
author_facet	Brown, Frank M.
author_role	aut
author_sort	Brown, Frank M.
author_variant	f m b fm fmb
building	Verbundindex
bvnumber	BV004302135
callnumber-first	Q - Science
callnumber-label	QA10
callnumber-raw	QA10.3
callnumber-search	QA10.3
callnumber-sort	QA 210.3
callnumber-subject	QA - Mathematics
classification_rvk	SK 130 SK 150
classification_tum	MAT 052f
ctrlnum	(OCoLC)21558236 (DE-599)BVBBV004302135
dewey-full	511.3/24
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3/24
dewey-search	511.3/24
dewey-sort	3511.3 224
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01830nam a2200505 c 4500</leader><controlfield tag="001">BV004302135</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940110 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910320s1990 \|\|\|\| 00\|\|\| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792391217</subfield><subfield code="9">0-7923-9121-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)21558236</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004302135</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA10.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/24</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 150</subfield><subfield code="0">(DE-625)143218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 052f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Brown, Frank M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Boolean reasoning</subfield><subfield code="b">the logic of Boolean equations</subfield><subfield code="c">by Frank Markham Brown</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston u.a.</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 273 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Boole, Algèbre de</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Boole, Algèbre de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algebre booleenne</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse booleenne</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">equation booleenne</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement booleen</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement syllogistique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002675545&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002675545</subfield></datafield></record></collection>
id	DE-604.BV004302135
illustrated	Not Illustrated
indexdate	2024-07-09T16:11:10Z
institution	BVB
isbn	0792391217
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-002675545
oclc_num	21558236
open_access_boolean
owner	DE-12 DE-739 DE-20 DE-91 DE-BY-TUM DE-29T DE-11 DE-188
owner_facet	DE-12 DE-739 DE-20 DE-91 DE-BY-TUM DE-29T DE-11 DE-188
physical	XVIII, 273 S.
publishDate	1990
publishDateSearch	1990
publishDateSort	1990
publisher	Kluwer
record_format	marc
spelling	Brown, Frank M. Verfasser aut Boolean reasoning the logic of Boolean equations by Frank Markham Brown Boston u.a. Kluwer 1990 XVIII, 273 S. txt rdacontent n rdamedia nc rdacarrier Boole, Algèbre de Boole, Algèbre de ram algebre booleenne inriac analyse booleenne inriac equation booleenne inriac raisonnement booleen inriac raisonnement syllogistique inriac Algebra, Boolean Boolesche Algebra (DE-588)4146280-4 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 s DE-604 Logik (DE-588)4036202-4 s GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002675545&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Brown, Frank M. Boolean reasoning the logic of Boolean equations Boole, Algèbre de Boole, Algèbre de ram algebre booleenne inriac analyse booleenne inriac equation booleenne inriac raisonnement booleen inriac raisonnement syllogistique inriac Algebra, Boolean Boolesche Algebra (DE-588)4146280-4 gnd Logik (DE-588)4036202-4 gnd
subject_GND	(DE-588)4146280-4 (DE-588)4036202-4
title	Boolean reasoning the logic of Boolean equations
title_auth	Boolean reasoning the logic of Boolean equations
title_exact_search	Boolean reasoning the logic of Boolean equations
title_full	Boolean reasoning the logic of Boolean equations by Frank Markham Brown
title_fullStr	Boolean reasoning the logic of Boolean equations by Frank Markham Brown
title_full_unstemmed	Boolean reasoning the logic of Boolean equations by Frank Markham Brown
title_short	Boolean reasoning
title_sort	boolean reasoning the logic of boolean equations
title_sub	the logic of Boolean equations
topic	Boole, Algèbre de Boole, Algèbre de ram algebre booleenne inriac analyse booleenne inriac equation booleenne inriac raisonnement booleen inriac raisonnement syllogistique inriac Algebra, Boolean Boolesche Algebra (DE-588)4146280-4 gnd Logik (DE-588)4036202-4 gnd
topic_facet	Boole, Algèbre de algebre booleenne analyse booleenne equation booleenne raisonnement booleen raisonnement syllogistique Algebra, Boolean Boolesche Algebra Logik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002675545&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT brownfrankm booleanreasoningthelogicofbooleanequations

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items