Geometry.Net - the online learning center
Home  - Math_Discover - Boolean Algebra

e99.com Bookstore
  
Images 
Newsgroups
Page 3     41-60 of 91    Back | 1  | 2  | 3  | 4  | 5  | Next 20

         Boolean Algebra:     more books (100)
  1. Boolean Algebras in Analysis (Mathematics and Its Applications) by D.A. Vladimirov, 2010-11-02
  2. Categories of Boolean Sheaves of Simple Algebra (Lecture Notes in Math, Vol 1187) by Yves Diers, 1986-09
  3. Digital Circuits: Numbering Systems, Binary Codes, Logic Gates, Boolean Algebra (Engineer's Tutor Series) by Amalou Abdelilah, 1989-08
  4. Introduction to Boolean Algebra for Computer Scientists and Engineers by Ralph Artino, 1991-04
  5. Boolean Algebra by Brice Ward, 1971-01-01
  6. Canonical Form (Boolean algebra)
  7. Boolean Algebra (Student Library) by Henry Graham Flegg, 1972-09-22
  8. Countable Boolean Algebras and Decidability (Siberian School of Algebra and Logic) by Sergei S. Goncharov, 1997-01-31
  9. Boolean Algebras. Third Edition. Ergebnisse der Mathematik und ihrer Grenzgebiete. Neue Folge. Band 25 by Roman Sikorski, 1969-06
  10. Thinking Machines: A Layman's Introduction to Logic, Boolean Algebra, and Computers. by Irving. Adler, 1974-06
  11. Logic and Boolean algebra by Bradford Henry Arnold, 1964
  12. Introduction to Boolean-Algebras by Philip Dwinger, 1971-01-01
  13. Boolean Functions and Computation Models by Peter Clote, Evangelos Kranakis, 2002-11-11
  14. Axioms For Lattices And Boolean Algebras by R. Padmanabhan, S. Rudeanu, 2008-08-11

41. Boolean Algebra
boolean algebra. Boolean logic, or boolean algebra as it is called today, wasdeveloped by an English mathematician, George Boole, in the 19th century.
http://www.tpub.com/neets/book13/54h.htm
Boolean algebra Click here to order Electronic Components Online BOOLEAN ALGEBRA Boolean logic, or Boolean algebra as it is called today, was developed by an English mathematician, George Boole, in the 19th century. He based his concepts on the assumption that most quantities have two possible conditions - TRUE and FALSE. This is the same theory you were introduced to at the beginning of this chapter. Throughout our discussions of fundamental logic gates, we have mentioned Boolean expressions. A Boolean expression is nothing more than a description of the input conditions necessary to get the desired output. These expressions are based on Boole's laws and theorems. PURPOSE Boolean algebra is used primarily by design engineers. Using this system, they are able to arrange logic gates to accomplish desired tasks. Boolean algebra also enables the engineers to achieve the desired output by using the fewest number of logic gates. Since space, weight, and cost are important factors in the design of equipment, you would usually want to use as few parts as possible. Figure 2-26 (view A), shows a rather complex series of gates. Through proper application of Boolean algebra, the circuit can be simplified to the single OR gate shown in view B. Figure 2-27 shows the simplification process and the Boolean laws and theorm used to accomplish it.

42. CyberSpace Search!
SEARCH THE WEB. Results 1 through 7 of 7 for boolean algebra. http//www.williamandamber.com;More results on boolean algebra at IxQuick.com.
http://www.cyberspace.com/cgi-bin/cs_search.cgi?Terms=boolean algebra

43. Short Single Axioms For Boolean Algebra
Short Single Axioms for boolean algebra. William McCune, Robert Veroff,Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
http://www-unix.mcs.anl.gov/~mccune/papers/basax/
Short Single Axioms for Boolean Algebra
William McCune Robert Veroff Branden Fitelson Kenneth Harris ... Larry Wos June 2000 (Revised December 2002) This web page contains material in support of a paper of the same name in the Journal of Automated Reasoning 29 (1), pages 116, 2002. Here is a preprint of the paper Here are the links that correspond to the "pseudo-links" in the paper.
1. Background and Introduction
2. A Basis for Disjunction and Negation
3. A Basis for the Sheffer Stroke
4. (Sh_1) is a Shortest 1-Basis for the Sheffer Stroke
5. An Exhaustive List of Possible 15-Symbol Single Axioms
6. Automated Deduction Methods
7. Summary and Questions
Additional Material
In a footnote on the third page of the paper we write: Here is how one can use MACE 2.0

44. Robbins Algebras Are Boolean
A web text by William McCune describing the solution of this problem by a theoremproving program, Category Science Math Algebra...... In 1933, EV Huntington presented 1,2 the following basis for boolean algebra x+ y = y + x. commutativity (x + y) + z = x + (y + z). associativity n(n(x
http://www-unix.mcs.anl.gov/~mccune/papers/robbins/
Robbins Algebras Are Boolean
William McCune
Automated Deduction Group

Mathematics and Computer Science Division

Argonne National Laboratory
Posted on the Web October 15, 1996. Last updated February 5, 1998. These Web pages contain some information on the solution of the Robbins problem. A paper on this topic appears in the Journal of Automated Reasoning [W. McCune, "Solution of the Robbins Problem", JAR 19(3), 263276 (1997)]. Here is a preprint . The JAR paper has simpler proofs than the ones below on this page. Here are the input files and proofs corresponding to the JAR paper A draft of a press release , intended for a wider audience, is also available.
Introduction
The Robbins problem-are all Robbins algebras Boolean?-has been solved: Every Robbins algebra is Boolean. This theorem was proved automatically by EQP , a theorem proving program developed at Argonne National Laboratory.
Historical Background
In 1933, E. V. Huntington presented [1,2] the following basis for Boolean algebra: x + y = y + x. [commutativity] (x + y) + z = x + (y + z). [associativity] n(n(x) + y) + n(n(x) + n(y)) = x. [Huntington equation] Shortly thereafter, Herbert Robbins conjectured that the Huntington equation can be replaced with a simpler one [5]:

45. MathGroup Archive: September 1992 Boolean Algebra?
boolean algebra? To mathgroup@yoda.physics.unc.edu; Subject boolean algebra? Prevby thread Functional Derivatives; Next by thread Re boolean algebra?
http://forums.wolfram.com/mathgroup/archive/1992/Sep/msg00065.html
January February March April ... Author Index
Boolean algebra?
I am looking for packages/utilities for Boolean expressions and functions. Any pointers? Stig Mjolsnes (Mjolsnes@delab.sintef.no)
  • Prev by Date: Re: Testing for unevaluated functions Next by Date: Notebook for Newton's Method? Prev by thread: Functional Derivatives Next by thread: Re: Boolean algebra?
  • 46. MathGroup Archive: September 1992 Re: Boolean Algebra?
    Re boolean algebra? To mathgroup@yoda.physics.unc.edu; Subject Reboolean algebra? From Jack K. Cohen jkc@keller.mines.colorado
    http://forums.wolfram.com/mathgroup/archive/1992/Sep/msg00073.html
    January February March April ... Author Index
    Re: Boolean algebra?
    Prev by Date: packages for higher-order spectra Next by Date: Plot Labeling Prev by thread: Boolean algebra? Next by thread: Notebook for Newton's Method?

    47. Boolean Algebra Program
    boolean algebra program. boolean algebra program KarnaughMap 2.1 (kmap21.exe)has the ability to eliminate consensus terms. For example
    http://www.puz.com/sw/karnaugh/consensus.htm
    Boolean algebra program
    Boolean algebra program KarnaughMap 2.1 (kmap21.exe) has the ability to eliminate consensus terms. For example, in the expression "BC + /AB + AC" the variables B and C are anded with varaibes /A and A. Therefore, the term BC is redundant. This program will display two solutions "BC + /AB + AC" and "/AB + AC". Karnaugh Map main page home

    48. Laws Of Boolean Algebra - Lay Networks
    LAY NETWORKS CS01 Computer Fundamentals. Laws of boolean algebra. boolean algebra. P71 + 0 = 0 + 1 = 1. Laws of boolean algebra. the basic Boolean laws.
    http://www.laynetworks.com/users/webs/lawsofba.htm
    LAY NETWORKS
    CS-01
    Computer Fundamentals
    Laws of Boolean Algebra
    Boolean Algebra
    The most obvious way to simplify Boolean expressions is to manipulate them in the same way as normal algebraic expressions are manipulated. With regards to logic relations in digital forms, a set of rules for symbolic manipulation is needed in order to solve for the unknowns.
    A set of rules formulated by the English mathematician George Boole describe certain propositions whose outcome would be either true or false . With regard to digital logic, these rules are used to describe circuits whose state can be either, 1 (true) or (false) . In order to fully understand this, the relation between the AND gate, OR gate and NOT gate operations should be appreciated. A number of rules can be derived from these relations as Table 1 demonstrates.
    • P1: X = or X = 1
    Laws of Boolean Algebra the basic Boolean laws. Note that every law has two expressions, (a) and (b). This is known as duality . These are obtained by changing every AND(.) to OR(+), every OR(+) to AND(.) and all 1's to 0's and vice-versa.

    49. About "Boolean Algebra (Encarta Encyclopedia 2000)"
    boolean algebra (Encarta Encyclopedia 2000). Library Home FullTable of Contents Suggest a Link Library Help Visit this
    http://mathforum.org/library/view/17261.html
    Boolean Algebra (Encarta Encyclopedia 2000)
    Library Home
    Full Table of Contents Suggest a Link Library Help
    Visit this site: Author: Microsoft Encarta Online Description: Boolean Algebra, branch of mathematics having laws and properties similar to, but different from, those of ordinary high school algebra. Formally a Boolean algebra is a mathematical system consisting of a set of elements, which may be called B, together with two binary operations... Levels: Middle School (6-8) High School (9-12) Languages: English Resource Types: Articles Dictionaries, Glossaries, Thesauri Math Topics: Logic/Foundations
    Suggestion Box
    Home The Math Library ... Search
    http://mathforum.org/
    webmaster@mathforum.org

    50. Math Forum: Teacher2Teacher - Q&A #2926
    Activity to demonstrate boolean algebra.Level High School (912). 20 Jan 00 boolean algebra by Rebekah Bray.......Q A 2926. boolean algebra.
    http://mathforum.org/t2t/thread.taco?thread=2926

    51. BOOLEAN ALGEBRA
    Translate this page
    http://www.pte.it/didain1/boole_in_fr.htm
    Because your browser does not support viewing Web pages that have been designed using frames, you are invited to upgrade your browser. La visualizzazione di questa pagina richiede un browser in grado di visualizzare i riquadri.

    52. Theorem EQ-3: On Ternary Boolean Algebra
    Previous Theorem EQ2 Robbins Algebra, Theorem EQ-3 On Ternaryboolean algebra. - OTTER 2.2, July 1991 - The job began
    http://www-fp.mcs.anl.gov/~lusk/papers/contest/node19.html
    Next: Theorem EQ-4: Group Theory Up: Summary of Otter Outputs Previous: Theorem EQ-2: Robbins Algebra,
    Theorem EQ-3: On Ternary Boolean Algebra
    Karen D. Toonen

    53. ThinkQuest Library Of Entries
    boolean algebra. The binary system allows for a new system of mathematics. Themathematics that he made up are now called boolean algebra.
    http://library.thinkquest.org/25111/binalg.shtml
    Welcome to the ThinkQuest Internet Challenge of Entries
    The web site you have requested, The Computer Inside Out , is one of over 4000 student created entries in our Library. Before using our Library, please be sure that you have read and agreed to our To learn more about ThinkQuest. You can browse other ThinkQuest Library Entries To proceed to The Computer Inside Out click here Back to the Previous Page The Site you have Requested ...
    The Computer Inside Out
    click here to view this site
    A ThinkQuest Internet Challenge 1999 Entry
    Click image for the Site Languages : Site Desciption The Computer Inside Out is a Thinkquest '99 entry evolving around the computer and its different aspects. The computer will be examined with respect to both hardware and software. To help people assemble their computers, a building section with a component finder, based online retailers, has also been provided. Since computers are becoming more and more important, this entry's aim is to help users familiarize themselves with the basic concepts involving computers.
    Students Arnaud Lycee Francais
    NY, United States

    54. Boolean Algebra
    boolean algebra I was struck by the number of folks with little understandingof boolean algebra, the basis for the design of logic circuits.
    http://www.avocetsystems.com/company/articles/magazine/aboolea.htm
    visit www.bdmtools.com Home Request Price Quote Email Your Question Find Tools for Your Chip
    Select Processor ColdFire MC-24 PIC NSC-800 SAM 8 PDP-11 TLCS-90 HHT-ASSP Products Tool Search
    Pricing

    Ordering Information

    Current Version List
    Contact Information Telephone / Fax
    Email Form

    Find a Distributor

    Distributor Login
    Downloads Demos
    Tech Sheets

    Software
    About Our Company History
    Employment
    Support FAQs / Tips Product Registration Technical Support Request Phone Tech Support Resources Articles Bookstore Chip Directory Mirror Site Site Help Subscribe to our Newsletter © 2001 Avocet Systems, Inc. Call Us Today at (800) 448-8500 Avocet Systems, Inc. Boolean Algebra Abstract Do you get the boolean blues? Those hardware weenies keep chatting about DeMorgan, truth and evil... and you're feeling left out? Read on.

    55. Basic Theorems Of Boolean Algebra
    Basic Theorems of boolean algebra. 01/19/2000. Click here to start. Table ofContents. Basic Theorems of boolean algebra. Duality. Simplification Rules.
    http://www.olemiss.edu/courses/EE/ELE_335/Spring2000/Htmlnotes/BooleanAlgebra/
    Basic Theorems of Boolean Algebra
    Click here to start
    Table of Contents
    Basic Theorems of Boolean Algebra Duality Simplification Rules Two-level circuits ... NAND, NOR equivalents Author: Mark Tew Email: eemdt@olemiss.edu Home Page: http://www.olemiss.edu/~eemdt Download presentation source

    56. 15.6 BOOLEAN A Package For Boolean Algebra
    15.6 BOOLEAN A package for boolean algebra. This package supports thecomputation with boolean expressions in the propositional calculus.
    http://www.uni-koeln.de/REDUCE/3.6/doc/reduce/node187.html

    TOP

    Next: 15.7 CALI: A package for computational commutative algebra Up: 15 User Contributed Packages Previous: 15.5 AVECTOR: A vector algebra and calculus package Top: REDUCE Online Documentation
    15.6 BOOLEAN: A package for boolean algebra
    This package supports the computation with boolean expressions in the propositional calculus. The data objects are composed from algebraic expressions connected by the infix boolean operators and or implies equiv , and the unary prefix operator not Boolean allows you to simplify expressions built from these operators, and to test properties like equivalence, subset property etc. There is full online information available for this package. Author: Herbert Melenk.
    TOP

    Next: 15.7 CALI: A package for computational commutative algebra Up: 15 User Contributed Packages Previous: 15.5 AVECTOR: A vector algebra and calculus package Top: REDUCE Online Documentation
    REDUCE WWW Pages
    maintained by Strotmann@RRz.Uni-Koeln.DE at

    57. Boolean Algebra - Acapedia - Free Knowledge, For All
    boolean algebra. From Wikipedia, the free encyclopedia. A boolean algebra isa lattice (A, ? , ?) with the following four additional properties
    http://acapedia.org/aca/Boolean_algebra
    var srl33t_id = '4200';

    58. Boolean Algebra
    encyclopediaEncyclopedia boolean algebra, bOO'lEun PronunciationKey. boolean algebra , an abstract mathematical system primarily
    http://www.infoplease.com/ce6/sci/A0808301.html

    Trace your family history with Ancestry.com

    All Infoplease All Almanacs General Entertainment Sports Biographies Dictionary Encyclopedia Infoplease Home Almanacs Atlas Dictionary ...
    Fact Monster

    Kids' reference
    Info:Daily

    Fun facts
    Homework

    Center

    Newsletter

    You've got info! Help Site Map Visit related sites from: Family Education Network Encyclopedia Boolean algebra [b OO E u n] Pronunciation Key Boolean algebra , an abstract mathematical system primarily used in computer science and in expressing the relationships between sets (groups of objects or concepts). The notational system was developed by the English mathematician George Boole c.1850 to permit an algebraic manipulation of logical statements. Such manipulation can demonstrate whether or not a statement is true and show how a complicated statement can be rephrased in a simpler, more convenient form without changing its meaning. In his 1881 treatise, Symbolic Logic, the English logician and mathematician John Venn interpreted Boole's work and introduced a new method of diagramming Boole's notation; this was later refined by the English mathematician Charles Dodgson (better known as Lewis Carroll Boole, George

    59. Boolean Algebra And Logic
    next up previous boolean algebra and logic. Thanks to Von Neumann et. al. Moderncomputers are based on the use of binary data and boolean algebra or logic.
    http://www.iu.hio.no/data/QIC/info3/node5.html
    Boolean algebra and logic
    Thanks to Von Neumann et. al. our present day idea of computers is that of binary digital devices which perform Boolean logical operations. Such a device can simulate any computational process in principle. What remains in order to create systems which compute the results of mathematical or logical problems is the ability to combine information streams into functions which are things we want to evaluate. Modern computers are based on the use of binary data and Boolean algebra or logic. It is straightforward to show that a simple set of linearly independent operations on bits can be used to perform simple binary arithmetic, and thus more complex calculations in combination. The commonly referred to operations in Boolean algebra are the unary (1:1) operator NOT In Out and the binary (2:1) operators AND Out OR Out XOR Out In digital electronics, these are simulated using multi-transistor circuit blocks. It is easy to show that any Boolean logic operation can be constructed from the two operations AND ) and NOT ). This may be seen from the following identities:

    60. WileyEurope :: Ones And Zeros: Understanding Boolean Algebra, Digital Circuits,
    WileyEurope, Ones and Zeros Understanding boolean algebra,Digital Circuits, and the Logic of Sets by John Gregg.
    http://www.wileyeurope.com/cda/product/0,,0780334264,00.html
    Shopping Cart My Account Help Contact Us
    By Keyword By Title By Author By ISBN By ISSN WileyEurope Engineering Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets Related Subjects
    VLSI

    Related Titles
    Low-Power CMOS Design (Hardcover)

    Anantha Chandrakasan (Editor), Robert W. Brodersen (Editor)
    Low-Voltage/Low-Power Integrated Circuits and Systems: Low-Voltage Mixed-Signal Circuits (Hardcover)

    Integrated Circuit Manufacturability : The Art of Process and Design Integration (Hardcover)

    Advanced Theory of Semiconductor Devices (Hardcover)

    Karl Hess
    Electronic and Photonic Circuits and Devices (Paperback)
    Ronald W. Waynant (Editor), John K. Lowell (Editor) Join an Engineering Mailing List Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets John Gregg ISBN: 0-7803-3426-4 Paperback 296 Pages March 1998, Wiley-IEEE Press Add to Cart Description Table of Contents This book explains, in lay terms, the surprisingly simple system of mathematical logic used in digital computer circuitry. Anecdotal in its style and often funny, it follows the development of this logic system from its origins in Victorian England to its rediscovery in this century as the foundation of all modern computing machinery. ONES AND ZEROS will be enjoyed by anyone who has a general interest in science and technology.

    Page 3     41-60 of 91    Back | 1  | 2  | 3  | 4  | 5  | Next 20

    free hit counter