Home  - Math_Discover - Boolean Algebra

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

81-93 of 93    Back | 1  | 2  | 3  | 4  | 5

Boolean Algebra:     more books (100)

Flexibility Principles in Boolean Semantics: The Interpretation of Coordination, Plurality, and Scope in Natural Language (Current Studies in Linguistics) by Yoad Winter, 2002-02-15 Boolean Functions in Cryptology and Information Security (Nato Science for Peace and Security) by O.A. Logachev, 2008-06-15 Special Groups: Boolean-Theoretic Methods in the Theory of Quadratic Forms (Memoirs of the American Mathematical Society) by M. A. Dickmann, Francisco Miraglia, 2000-05 Boolean Semantics for Natural Language (Studies in Linguistics and Philosophy) by Edward L. Keenan, L.M. Faltz, 1984-12-31 Boolean Algebra and Its Uses (VNR new mathematics library ; 4) by G.F. South, 1974-05 Boolean-Valued Models and Independence Proofs in Set Theory (Oxford Logic Guides) by John Lane Bell, 1985-08-15 Applied Boolean Algebra. 2nd Edition. Boolean Algebra: Sigma-Algebra, Boolean Satisfiability Problem, de Morgan's Laws, Propositional Calculus, Logical Conjunction Algebraic Structures: Group, Boolean Algebra, Field, Ring, Ideal, Monoid, Semigroup, Algebraic Structure, Kleene Algebra, Magma, Lattice Boolean Algebras Canonically Defined Fundamental Boolean Algebra by J. Kuntzmann, 1967 Dicomplemented Lattices: A Contextual Generalization of Boolean Algebras (Berichte Aus Der Mathematik) by Leonard Kwuida, 2004-11-15 Introduction to Boolean Algebra and Logic Design a Program for Self-Instruction by HOERNES (Gerhard) and Melvin Heilweil, 1964 BOOLEAN ALGEBRA.

lists with details

81. No Match For Boolean Algebra
    No match for boolean algebra. Sorry, the term boolean algebra is not in the dictionary. Check the spelling and try removing suffixes like ing and -s .  
    http://www.swif.uniba.it/lei/foldop/foldoc.cgi?Boolean algebra

82. Simple Axiom Systems For Boolean Algebra
    Simple Axiom Systems for boolean algebra. In 1913, Henry Sheffer presented the following 3axiom equational basis (3-basis) for boolean algebra 1.  
    http://www.cs.unm.edu/~veroff/BA/
    
    Extractions: Posted on the Web July 8, 2000. Last updated on June 13, 2002 by Bob Veroff Bill McCune maintains related pages here and here Recent collaborators on this project include Andrew Feist, Branden Fitelson , Ken Harris, Bill McCune Bob Veroff , and Larry Wos In 1913, Henry Sheffer presented the following 3-axiom equational basis (3-basis) for Boolean Algebra More recently, a number of simplifications (``abridgements'') of Sheffer's system have been published. These include, for example, five systems presented by Meredith . The simplest of these five systems is as follows. We were introduced to this problem in February 2000 via some e-mail exchanges with Dana Scott, Stephen Wolfram, and David Hillman. In particular, Stephen Wolfram proposed a study of 27 candidate axiom systems consisting of 25 single equations and 2 pairs of equations. Wolfram's interest in these equations arose from his research project, A New Kind of Science We have used the automated reasoning program Otter to prove several bases. The following is a very brief summary.

83. Appendix - Boolean Algebra
    Variables in boolean algebra can only have 2 values (true or false). boolean algebra has similar logical operations AND, OR and NOT ( , and !  
    http://www.nottingham.ac.uk/~ppzjld1/CLanguage/appendic.htm
    
    Extractions: Logic is concerned with the truth or falsehood of statements. For example, consider the statements: A1: it is light outside. A2: the time is before noon. A3: it is morning. If A1 and A2 are true, then A3 is also true*. However, if A1 is true A3 could be false (it could be afternoon). Variables in Boolean algebra can only have 2 values (true or false). The statement * above could be written: NOT: The Boolean variable operated upon by NOT is inverted (ie if it is true it becomes false, or if it is false it becomes true). That is to say NOT TRUE is FALSE, and NOT FALSE is TRUE, i.e. NOT 1 = NOT = 1 AND: The AND operator has 2 (or more) arguments. In order for the output of the AND operator, all the arguments must be true. ie: A B A AND B In other words, FALSE and FALSE = FALSE, TRUE and FALSE = FALSE, FALSE and TRUE = FALSE, and TRUE and TRUE = TRUE. OR: The OR operator also has 2 (or more) arguments, and has the truth table A B A OR B

84. Dictionary Of Computers, Multi-Media And The Internet - Boolean Algebra
    Computers. boolean algebra Set of algebraic rules, named after mathematician George Boole, in which TRUE and FALSE are equated to  
    http://www.tiscali.co.uk/reference/dictionaries/computers/data/m0044414.html
    
    Extractions: Frames not supported Index A B C D ... Z Computers Boolean algebra Set of algebraic rules, named after mathematician George Boole, in which TRUE and FALSE are equated to and 1. Boolean algebra includes a series of operators (AND, OR, NOT, NAND (NOT AND), NOR, and XOR (exclusive OR)), which can be used to manipulate TRUE and FALSE values (see truth table ). It is the basis of computer logic because the truth values can be directly associated with bits These rules are used in searching databases either locally or across the Internet via services like Altavista to limit the number of hits to those which most closely match a user's requirements. A search instruction such as 'tennis NOT table' would retrieve articles about tennis and reject those about ping-pong.

85. Short Single Axioms For Boolean Algebra With {OR,NOT}
    Short Single Axioms for boolean algebra with {OR,NOT}. We have recently found 10 short single equational axioms for boolean algebra in terms of {OR,NOT}.  
    http://www.mcs.anl.gov/~mccune/ba/ornot/
    
    Extractions: August 14, 2000. Here they are in prefix and in infix Each has 6 ORs and 7 NOTs (length 22 as measured by Otter), and 4 variables. (The shortest previously known single axiom has length 131 with 6 variables. Look here for details. Here is the first one we found: ~ (~ (x + y) + ~ z) + ~ (~ (~ u + u) + (~ z + x)) = z. % 13345 Basis Axioms ORs NOTs Variables The new ones Meredith Robbins The Meredith basis: ~ (~ x + y) + x = x. ~ (~ (x + y) + ~ (~ x + y)) = y. With each axiom we prove the Robbins basis. Here's an Otter input file that works for 9 of the 10 axioms: ornot.in . (See notes in the file to make it work for the other one.) And here's the coresponding proof for 20615: 20615.proof These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory

86. What Is Boolean Logic? - A Word Definition From The Webopedia Computer Dictionar
    Named after the nineteenthcentury mathematician George Boole, boolean logic is a form of algebra in which all values are reduced to either TRUE or FALSE.  
    http://www.webopedia.com/Boolean_logic.htm
    
    Extractions: You are in the: Small Business Channel Jump to Website ECommerce Guide Small Business Computing Webopedia WinPlanet Enter a word for a definition... ...or choose a computer category. choose one... All Categories Communications Computer Industry Companies Computer Science Data Graphics Hardware Internet and Online Services Mobile Computing Multimedia Networks Open Source Operating Systems Programming Software Standards Types of Computers Wireless Computing World Wide Web Home Boolean logic Last modified: Monday, September 01, 1997 Named after the nineteenth-century mathematician George Boole, Boolean logic is a form of algebra in which all values are reduced to either TRUE or FALSE. Boolean logic is especially important for computer science because it fits nicely with the binary numbering system , in which each bit has a value of either 1 or 0. Another way of looking at it is that each bit has a value of either TRUE or FALSE. E-mail this definition to a colleague

87. Robbins Algebras Are Boolean
    A web text by William McCune describing the solution of this problem by a theoremproving program, with input files and the proofs.  
    http://www-unix.mcs.anl.gov/~mccune/papers/robbins/
    
    Extractions: Argonne National Laboratory Posted on the Web October 15, 1996. Last updated September 24, 2003. 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. 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. 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]:

88. Howstuffworks "How Boolean Logic Works"
    boolean logic lies at the heart of the digital revolution. Find out all about boolean gates and how by combining them you can create any digital component! is something called boolean logic. boolean logic, originally developed by The great thing about boolean logic is that, once you the hang of things, boolean logic (or at least the  
    http://www.howstuffworks.com/boolean.htm
    
    Extractions: Table of Contents Introduction to How Boolean Logic Works Simple Gates Simple Adders Flip Flops Implementing Gates Lots More Information Shop or Compare Prices Have you ever wondered how a computer can do something like balance a check book, or play chess , or spell-check a document? These are things that, just a few decades ago, only humans could do. Now computers do them with apparent ease. How can a "chip" made up of silicon and wires do something that seems like it requires human thought? If you want to understand the answer to this question down at the very core, the first thing you need to understand is something called Boolean logic . Boolean logic, originally developed by George Boole in the mid 1800s, allows quite a few unexpected things to be mapped into

89. ADAM: Boolean Search Tips
    boolean Searching. A simple lesson in boolean searching is available and advisable to those who are unfamiliar with this method. It is possible to compose some complex search expressions using boolean logic on this search system.  
    http://www.adam.ac.uk/info/boolean.html
    
    Extractions: MM_preloadImages('/images/friends2.gif'); MM_preloadImages('/images/power2.gif'); MM_preloadImages('/images/nominate2.gif'); MM_preloadImages('/images/map2.gif'); MM_preloadImages('/images/about2.gif'); A simple lesson in Boolean searching is available and advisable to those who are unfamiliar with this method. It is possible to compose some complex search expressions using Boolean logic on this search system. To do so, use the following terms:

90. ADAM: Boolean Search Tips
    boolean Searching. Home. A simple lesson in boolean schools or colleges. Simple boolean. boolean logic is essentially very simple. When used  
    http://adam.ac.uk/info/boolean.html
    
    Extractions: MM_preloadImages('/images/friends2.gif'); MM_preloadImages('/images/power2.gif'); MM_preloadImages('/images/nominate2.gif'); MM_preloadImages('/images/map2.gif'); MM_preloadImages('/images/about2.gif'); A simple lesson in Boolean searching is available and advisable to those who are unfamiliar with this method. It is possible to compose some complex search expressions using Boolean logic on this search system. To do so, use the following terms:

91. Newman Library : Instruction : Help Guides : Boolean Searching
    BASIC boolean SEARCHING. Example depression NOT mental health (NOT is used to narrow a search). USING boolean OPERATORS IN A SEARCH STATEMENT.  
    http://newman.baruch.cuny.edu/instruct/handouts/boolean.htm
    
    Extractions: BASIC BOOLEAN SEARCHING Boolean operators (or logical connectors) AND, OR, and NOT are used to link together keywords when creating a search statement. Boolean operators may be used in most databases, and are used to broaden or narrow a search. In the CUNY+ databases, as well as in most other databases, Boolean searching is available within the keyword search option ( for CUNY+ use k= ). Always read screens carefully (especially HELP screens) or ask for assistance at the reference desk. AND Keywords combined with AND will retrieve records only where both terms appear.

92. Tutorial - Boolean Logic
    With Computers . Control And Embedded Systems . boolean Logic. specific bits. boolean logic is simply a way of comparing individual bits.  
    http://www.learn-c.com/boolean.htm
    
    Extractions: ::. Control And Embedded Systems .:: Boolean Logic Home Order Let me know what you think Previous: Data lines, bits, nibbles, bytes, words, binary and HEX Next: Address Lines and Ports Control and embedded systems frequently deal with individual bits in order to control specific operations or to determine the condition of part of a system. For example, a bit might be turned on to light a lamp or activate a relay, or a bit might be off to indicate a switch is on (off meaning on is very common due to the nature of hardware order some and see what I mean Boolean logic , developed by George Boole (1815-1864), is often used to refine the determination of system status or to set or clear specific bits. Boolean logic is simply a way of comparing individual bits. It uses what are called operators to determine how the bits are compared. They simulate the gates that you will see in the hardware section you will read shortly. Think of operators as boxes with multiple inputs and one output. Feed in various combinations of bit values, and the output will be high or low depending on the type of operation. The examples show 2 inputs, although gates can have more. Also, gates are often combined to form more complex logic. A modern microprocessor contains huge numbers of them with many inputs and many varying combinations. Please note that the terms on high and will be considered the same logical state, and

93. Untitled
    http://home.hkstar.com/~hkiedsci/de-ba.htm

81-93 of 93    Back | 1  | 2  | 3  | 4  | 5