资源描述:
《logic and boolean algebra - kathleen and hilbert levitz》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、LOGCBarron'sEducationalSertes,Inc.AND$6.95I"hu+ditiesandinthesocialandmanagementsciences."1*IPresupposesonlysomehighschoolalgebra0ProvidesslowcultivationofmanipulativeskillsLGEWOODBURY,NEWYORKAllrightsreserved.Nopartofthisbookmaybereproducedinanyform.byphotostat,micr
2、ofilm,xerography,oranyothermeans,orincorporatedintoanyinformationretrievalsystem,electronicormechanical,withoutthewrittenpermissionofthecopyrightowner.Allinquiriesshouldbeaddressedto:Barron'sEducationalSeries,Inc.1I3CrosswaysParkDriveWoodbury,NewYork11797LibroryofCon
3、gressCatalogNo.75-1006InternationalStandardBookNo.0-8120-0537-6tiz~~aj-e~wrSJs(laLcvitz,Kathleen.LogicandBooleanalgebra.Bibliography:Includestndex.1.Logic,Symbolicandmathematical.2,Algebra,Boolean.-.,..."I.Levitz,-..,-Hilbert,--jointauthor.11T~tle.*,.,.,TOOURMENTORSJ
4、OEL.MOTTKURTSCHUTTEContentsPREFACEviiINTRODUCTIONviii1sentenceComposition11.1TheBasiciogicalOperations11.2TruthValues21.3AlternativeTranslations71.4ConversesandContrapositives81.5LogicFormsandTruthTables91.6Tautologies,Contradictions,andContingencies141.7SententialIn
5、consistency151.8ConstructingLogicFormsfromTruthTables162AlgebraofLogic212.1LogicalEquivalence212.2BasicEquivalences232.3AlgebraicManipulation242.4ConjunctiveNormalForm292.5ReductiontoConjunctiveNormalForm302.6UsesofConjunctiveNormalForm332.7DisjunctiveNormalForm352.8
6、Uses6fDisjunctiveNormalForm382.9InterdependenceoftheBasicLogicalOperations403AnalysisofInferences453.1SententialValidity453.2BasicInferences493.3CheckingSententialValidityofInferencesbyRepeatedUseofPreviouslyProvenInferences504SwitchingChits534.1RepresentingSwitching
7、CircuitsbyLogicForms534.2SimplifyingSwitchingCircuits58PrefaceThisbookwasintendedforstudentswhoplantostudyinthehu-manitiesandinthesocialandmanagementsciences.Studentsin-terestedinthephysicalandnaturalsciences,however,mightalsofinditsstudyrewarding.Allthatispresuppose
8、dissomehighschoolalgebra.Theauthorsstronglyurgethatthetopicsbestudiedintheorderinwhichtheyappearandthatnotopicsbeskipped.Inrecentye