text:
Switching Algebra and Logic Gates
- Henry Hubbard
- 2 years ago
- Views:
1 Chapter 2 Switching Algebra and Logic Gates The word algebra in the title of this chapter should alert you that more mathematics is coming. No doubt, some of you are itching to get on with digital design rather than tackling more math. However, as your experience in engineering and science has taught you, mathematics is a basic requirement for all fields in these areas. Just as thinking requires knowledge of a language in which concepts can be formulated, so any field of engineering or science requires knowledge of certain mathematical topics in terms of which concepts in the field can be expressed and understood. The mathematical basis for digital systems is Boolean algebra. 1 This chapter starts with a brief exposition of Boolean algebra that lays the groundwork for introducing the building blocks of digital circuits later in the chapter. 1 BOOLEAN ALGEBRA Boolean algebra, like any other axiomatic mathematical structure or algebraic system, can be characterized by specifying a number of fundamental things: 1. The domain of the algebra, that is, the set of elements over which the algebra is defined 2. A set of operations to be performed on the elements 3. A set of postulates, or axioms, accepted as premises without proof 4. A set of consequences called theorems, laws, or rules, which are deduced from the postulates As in any area of mathematics, it is possible to start from different sets of postulates and still arrive at the same mathematical structure. What is proved as a theorem from one set of postulates can be taken as a postulate in another set, and what was a postulate in the first set can be proved as a theorem from 34 1 This designation comes from its originator, the Briton George Boole, who published a work titled An Investigation of the Laws of Thought in This treatise was a fundamental and systematic exposition of logic. The book languished in obscurity for many decades.
2 Boolean Algebra 35 Table 1 Huntington s Postulates 1. Closure. There exists a domain B having at least two distinct elements and two binary operators (+) and ( ) such that: a. If x and y are elements, then x + y is an element. The operation performed by (+) is called logical addition. b. If x and y are elements, then x y is an element. The operation performed by ( ) is called logical multiplication. 2. Identity elements. Let x be an element in domain B. a. There exists an element 0 in B, called the identity element with respect to (+), having the property x + 0 = x. b. There exists an element 1 in B, called the identity element with respect to ( ), having the property that x 1 = x. 3. Commutative law a. Commutative law with respect to addition: x + y = y + x. b. Commutative law with respect to multiplication: x y = y x. 4. Distributive law a. Multiplication is distributive over addition: x (y + z) = (x y) + (x z) b. Addition is distributive over multiplication: x + (y z) = (x + y) (x + z) 5. Complementation. If x is an element in domain B, then there exists another element x', the complement of x, satisfying the properties: a. x + x' = 1 b. x x' = 0 The complement x' performs the complementation operation on x. another set of postulates. So how do we decide on postulates? Clearly, one requirement for a set of postulates is consistency. It would not do for the consequences of one postulate to contradict those of another. Another requirement often stated is independence. However, independence involves the customary objective of ending up with a minimal set of postulates that still permits the derivation of all of the theorems. So long as a mathematical rule is consistent with the others, it can be added as a postulate without harm. If it is dependent on the previous postulates, however, the added rule is derivable from them and so need not be taken as a postulate. The postulates we shall adopt here are referred to as Huntington s postulates and are given in Table 1. 2 Study them carefully. Note that Boolean algebra is like ordinary algebra in some respects but unlike it in others. For example, the distributive law of addition (Postulate 4b) is not valid for ordinary algebra, nor is the complement operation (Postulate 5). On the other hand, the subtraction and division operations of ordinary algebra do not exist in Boolean algebra. The set of elements in Boolean algebra is called its domain and is labeled B. An m-ary operation in B is a rule that assigns to each ordered set of m elements a unique element from B. Thus, a binary operation involves an ordered pair of elements, and a unary operation involves just one element. In Boolean algebra two binary operations (logical addition and logical multiplication) and 2 They were formulated by the British mathematician E. V. Huntington, who made an attempt to systematize the work of George Boole exactly 50 years after the publication of Boole s treatise.
3 36 Chapter 2 Switching Algebra and Logic Gates one unary operation (complementation) are defined. Many Boolean algebras with different sets of elements can exist. The terminology Boolean algebra is a generic way of referring to them all. Duality Principle Fundamental Theorems An examination of Huntington s postulates reveals a certain symmetry: the postulates come in pairs. One of the postulates in each pair can be obtained from the other one By interchanging the two binary operators, and By interchanging the two identity elements when they appear explicitly. Thus, one of the commutative laws can be obtained from the other by interchanging the operators (+) and ( ). The same is true of the two distributive laws. Consequently, whatever results can be deduced from the postulates should remain valid if The operators (+) and ( ) are interchanged, and The identity elements 0 and 1 are interchanged. This property of Boolean algebra is referred to as the duality principle. Whenever some result (theorem) is deduced from the postulates, the duality principle can be invoked as proof of the dual theorem. We will now establish a number of consequences (theorems, rules, or laws) that follow from Huntington s postulates and from the duality principle. The proofs will be carried out step by step, with explicit justification for each step given by referring to the appropriate postulate or previously proved theorem. Two of the general methods of proof used in mathematics are Proof by contradiction Proof by the principle of (mathematical) induction A proof by contradiction proceeds by assuming that the opposite of the desired result is true, and then deducing from this assumption a result that contradicts an already-known truth. This means that the opposite of the desired result is not true; therefore, the desired result itself must be true. A proof by the principle of induction proceeds as follows. A proposition P(i) is claimed to be true for all integers i. To prove the claim, it is necessary to do two things: Prove that the claim is true for some small integer, say i = 1. Assume it to be true for an arbitrary integer k and then show that it must, therefore, be true for the next integer, k + 1. The latter step means that since the result is true for i = 1, it must be true for the next integer i = 2 (1 + 1); then it must be true for i = 3 (2 + 1); and so on for all other integers.
4 Boolean Algebra 37 Another general method of proof, which is discussed in the next subsection, is especially valid for a Boolean algebra with only two elements. Note that the symbol for logical multiplication ( ) is often omitted for simplicity, and x y is written as xy. However, whenever there might be confusion, the operator symbol should be explicitly shown. Confusion can arise, for example, if the name of a logical variable itself consists of multiple characters. Thus, a variable might be called OUT2, designating output number 2, rather than the logical product of O and U and T and 2. In this chapter the variables are given simple names; hence, we will often omit the logical product symbol. Later we will show it explicitly whenever necessary to avoid confusion. Another possible notation when variable names consist of more than one symbol is to enclose the variable names in parentheses. Thus, the parentheses in (OUT2)(OUT3) permit the omission of the logical multiplication symbol. Now on to the theorems. Theorem 1 Null Law 1a. x + 1 = 1 1b. x 0 = 0 Note that each of these laws follows from the other one by duality; hence, only one needs explicit proof. Let s prove the second one. x 0 = 0 + (x 0) Postulate 2a = (x x') + (x 0) Postulate 5b = x (x' + 0) Postulate 4a = x x' Postulate 2a = 0 Postulate 5b Theorem 1a follows by duality. Theorem 2 Involution (x')' = x In words, this states that the complement of the complement of an element is that element itself. This follows from the observation that the complement of an element is unique. The details of the proof are left for you (see Problem 1d). Theorem 3 Idempotency 3a. x + x = x 3b. x x = x To prove Theorem 3a, x + x = (x + x) 1 Postulate 2b = (x + x) (x + x') Postulate 5a = x + x x' Postulate 4b = x + 0 Postulate 5b = x Postulate 2a Theorem 3b is true by duality.
5 38 Chapter 2 Switching Algebra and Logic Gates Theorem 4 Absorption 4a. x + xy = x 4b. x(x + y) = x To prove Theorem 4a, x + x y = x 1 + xy Postulate 2b = x (1 + y) Postulate 4a = x 1 Postulate 3a and Theorem 1a = x Postulate 2b Theorem 4b is true by duality. Theorem 5 Simplification 5a. x + x'y = x + y 5b. x(x' + y) = xy To prove Theorem 5b, x(x' + y) = xx' + xy Postulate 4a = 0 + xy Postulate 5b = xy Postulate 2a Theorem 5a is true by duality. Theorem 6 Associative Law 6a. x + (y + z) = (x + y) + z = x + y + z 6b. x(yz) = (xy)z = xyz To prove Theorem 6a requires some ingenuity. First, form the logical product of the two sides of the first equality: A = [x + (y + z)] [(x + y) + z] Then expand this product using the distributive law, first treating the quantity in the first brackets as a unit to start, and going on from there; and then treating the quantity in the second brackets as a unit to start, and going on from there. The result is A = x + (y + z) in the first case and A = (x + y) + z in the second case. (Work out the details.) The result follows by transitivity (if two quantities are each equal to a third quantity, they must be equal to each other). Since the result is the same no matter how the individual variables are grouped by parentheses, the parentheses are not needed and can be removed. Theorem 6b follows by duality. Theorem 7 Consensus 7a. xy + x'z + yz = xy + x'z 7b. (x + y)(x' + z)(y + z) = (x + y)(x' + z)
6 Boolean Algebra 39 To prove Theorem 7a, xy + x'z + yz = xy + x'z + yz(x + x') Postulate 5a = xy + x'z + yzx + yzx' Postulate 4a = (xy + xyz) + (x'z + x'zy) Postulate 3b and Theorem 6a = xy + x'z Theorem 4a Theorem 7b is true by duality. Theorem 8 De Morgan s Law 8a. (x + y)' = x'y' 8b. (xy)' = x' + y' Prove Theorem 8a by showing that x'y' satisfies both conditions in Postulate 5 of being the complement of x + y. Condition 1 (x + y) + x'y' = (x + x'y') + y Postulate 3a and Theorem 6a = (x + y') + y Theorem 5a = x + (y' + y) Theorem 6a = x + 1 Postulate 5a = 1 Theorem 1a Condition 2 (x + y)(x'y') = xx'y' + yx'y' Postulates 3b and 4a = 0 y' + x'(yy') Postulates 5b and 3b = 0 Postulates 5b and Theorem 1b Theorem 8b is true by duality. A number of other important results are left for you to prove in the problem set, but we will use them here as if proved. They include the following: 1. The identity elements 0 and 1 are distinct elements. 2. The identity elements are unique. 3. The inverse of an element is unique. Exercise 1 Prove that each identity element is the complement of the other one. Switching Algebra For the Boolean algebra discussed so far in this book, the domain has not been restricted. That is, no limitation has been placed on the number of elements in the Boolean algebra. From Huntington s postulates, we know that in every Boolean algebra there are two specific elements: the identity elements. Hence, any Boolean algebra has at least two elements. In this book, let us henceforth limit ourselves to a two-element Boolean algebra. 3 3 It is possible to prove that the number of elements in any Boolean algebra is some power of 2: 2 n, for n 1.
7 40 Chapter 2 Switching Algebra and Logic Gates In a 1937 paper, Claude Shannon implemented a two-element Boolean algebra with a circuit of switches. 4 Now a switch is a device that can be placed in either one of two stable positions: off or on. These positions can just as well be designated 0 and 1 (or the reverse). For this reason, two-element Boolean algebra has been called switching algebra. The identity elements themselves are called the switching constants. Similarly, any variables that represent the switching constants are called switching variables. This explains some of the common terminology used in this area, but we have already used some terminology whose source is not evident. The terms logical multiplication and logical addition were introduced in the first of Huntington s postulates. To explain where the adjective logical comes from, we will have to digress slightly. Over the centuries a number of different algebraic systems have been developed in different contexts. The language used in describing each system and the operations carried out in that system made sense in the context in which the algebra was developed. The algebra of sets is one of these; another is a system called propositional logic, which was developed in the study of philosophy. It is possible for different algebraic systems, arising from different contexts, to have similar properties. This possibility is the basis for the following definition. Two algebraic systems are said to be isomorphic if they can be made identical by changing the names of the elements and the names and symbols used to designate the operations. Propositional logic is concerned with simple propositions whether or not they are true or false, how the simple propositions can be combined into more complex propositions, and how the truth or falsity of the complex propositions can be deduced from the truth or falsity of the simple ones. A simple proposition is a declarative statement that may be either true or false, but not both. It is said to have two possible truth values: true (T) or false (F). Examples are The earth is flat. F The sum of two positive integers is positive. T It is not the intention here to pursue this subject in great detail. However, it turns out that two-valued Boolean algebra is isomorphic with propositional logic. Hence, whatever terminology, operations, and techniques are used in logic can be applied to Boolean algebra, and vice versa. To illustrate, the elements of Boolean algebra (1 and 0) correspond to the truth (T) or falsity (F) of propositions; T and F could be labeled 1 and 0, respectively, or the opposite. Or the elements of Boolean algebra, 1 and 0, could be called truth values, although the ideas of truth and falsity have no philosophical meaning in Boolean algebra. 4 To implement a mathematical expression means to construct a model of a physical system, or the physical system itself, whose performance matches the result of the mathematical operation. Another verb with the same meaning is to realize. The physical system, or its model, so obtained is said to be an implementation or a realization.
8 Switching Operations 41 x y xy Figure 1 AND truth table. One proposition is said to be the negation of another proposition if it is false whenever the other one is true. ( It is not snowing is the negation of It is snowing. ) If p is a proposition, then not-p is its negation. This is isomorphic with the complement in Boolean algebra, and the same symbol (prime) can be used to represent it: not-p is written p'. Nobody will be hurt if we use the term negation in Boolean algebra to stand for complement. Similar isomorphic relations exist between the operations of Boolean algebra and the connectives that join propositions together. However, further consideration of these will be postponed to the next section. 2 SWITCHING OPERATIONS A unary operation and two binary operations, with names borrowed from propositional logic, were introduced in Huntington s postulates. For two-element (switching) algebra it is common to rename these operations, again using terms that come from logic. The AND Operation Let s first consider logical multiplication (AND) of two variables, xy. The operation will result in different values depending on the values taken on by each of the elements that the variables represent. Thus, if x = 1, then from Postulate 2b, xy = y; but if x = 0, then from Theorem 1, xy = 0, independent of y. These results can be displayed in a table (Figure 1) that lists all possible combinations of values of x and y and the corresponding values of xy. This table is called a truth table. Neither the word truth nor the name of the operation, AND, makes any sense in terms of Boolean algebra; the terms are borrowed from propositional logic. The operation x y is like the compound proposition The moon is full (x) and the night is young (y). This compound proposition is true only if both of the simple propositions the moon is full and the night is young are true; it is false in all other cases. Thus, xy in the truth table is 1 only if both x and y are 1. Study the table thoroughly. The OR Operation Besides and, another way of connecting two propositions is with the connective or. But this connective introduces some ambiguity. Suppose it is claimed that at 6 o clock it will be raining or it will be snowing. The compound proposition will
9 42 Chapter 2 Switching Algebra and Logic Gates x y x + y Figure 2 OR truth table. be true if it rains, if it snows, or if it both rains and snows that is, if either or both simple propositions are true. The only time it will be false is if it neither rains nor snows. 5 These results, like the truth table for AND, can be summarized in a truth table for the connective OR. (Confirm the entries in Figure 2.) Let s see how this compares in switching algebra with logical addition, x + y. From Huntington s Postulate 2a, if y = 0, then x + y = x, so x + y will have whatever value x has. But if y = 1, then from Theorem 1a, x + y = x + 1 = 1, for both values of x. Verify that these values correspond exactly to the values given in the OR truth table. The NOT Operation Finally, the complement operation is isomorphic with negation, or NOT, in logic. It is a simple matter to set up a truth table for this operation; we leave it for you to carry out. Exercise 2 Construct a truth table for the NOT operator. Commentary The isomorphism of switching algebra with propositional logic has introduced a new tool, the truth table, that can be used to establish relationships among switching operations. For example, the theorems proved by application of Huntington s postulates together with previously proved theorems can also be proved from truth tables. We illustrate this by applying the truth tables for the AND, OR, and NOT operations to demonstrate the validity of the first form of De Morgan s law: (x + y)' = x'y' The result is shown in Figure 3. The last two columns are the same for all possible combinations of the switching variables; this proves De Morgan s law. The procedure just used for establishing De Morgan s law illustrates a general method for proving results in switching algebra. The truth-table method of proving a relationship among switching variables, by verifying that the reltionship is true for all possible combinations of values of the variables, is called the method of perfect induction. 5 The ambiguity in the or connective is seen in such a statement as That animal is a cat or a dog. In this case, it is possible for the animal to be a cat or to be a dog, but certainly not both. In such a case, something other than logical addition is needed to describe the connective. This will be discussed in section 5.
10 Switching Expressions 43 x y x' y' x + y (x + y)' x'y' Figure 3 Truth table for De Morgan s law. This exhaustive approach can become quite cumbersome if the number of variables is large. Some might consider this approach to be intellectually and aesthetically less satisfying than applying the postulates of Boolean algebra and the theorems already proved. Even so, it is valid. In De Morgan s law, let each side be called z. Then z = (x + y)' and z = x'y'. There are two operations, OR and NOT, on the right side of the first expression. Spurred on by textbooks that they might have consulted in the library, some students might be tempted to think that the way to evaluate the right side is just to figure out which of the two operators takes precedence. Concentrating on the significance of parentheses in algebraic expressions (both Boolean and ordinary) and the meanings of each Boolean operator should suffice to clarify the matter. A set of parentheses is a tool used to group some variables into a unit; the operations are to be performed on the unit, not on parts of it within the parentheses. Thus (x + y)' means forming the unit x + y and then taking the complement of this unit. The unit can be given a name, say w. So (x + y)' means w'. In terms of w, you can t even formulate the question of which operation takes precedence and should be performed first! You obviously take the OR of x and y, to get w; and then you take NOT w. Similarly, for z = x' y', the question, Which do I do first NOT and then AND, or AND first and then NOT? is meaningless. Perhaps it will be simpler if we define u = x' and v = y'; then z = uv. There is now no question we take the AND of two things, u and v, which happen to be the NOT of x and the NOT of y, respectively. Thus, z = (NOT x) AND (NOT y); it couldn t be clearer. It is common practice, just for simplicity, to omit parentheses around ANDed variables with the understanding that the AND will be performed before other operations on the ANDed unit. Indeed, the same convention that the times operation is performed before the plus is used in ordinary algebra as well. So instead of trying to memorize the order in which operations are to be performed in a given expression, concentrate on the meanings of the fundamental AND, OR, and NOT operations. Then you can t go wrong. 3 SWITCHING EXPRESSIONS Look back at De Morgan s law in Theorem 8. Each side consists of certain switching variables related by means of AND, OR, and NOT operations. Each is an example of a switching expression, which we now formally define: A switching expression is a finite relationship among switching variables (and possibly the switching constants 0 and 1), related by the AND, OR, and NOT operations.
11 44 Chapter 2 Switching Algebra and Logic Gates Some simple examples of switching expressions are xx' + x, z(x + y')',and y + 1. A more complex example of a switching expression is E = (x + yz)(x + y') + (x + y)' where E stands for expression. Note that expressions are made up of variables, or their complements, on which various operations are to be performed. For simplicity, we refer to variables or complements of variables as literals. The expression E consists of the logical product of two expressions logically added to another term. (When discussing logical sums and products, we will usually drop the adjective logical for simplicity. But remember that it is always implied.) The second term in the product is itself a sum of literals, x + y'. The first term in the product cannot be described simply as a sum or a product. A given expression can be put in many equivalent forms by applying Boolean laws (that s what we will call the postulates and theorems for short). But, you might ask, what s the point? Why bother to perform a lot of algebra to get a different form? At this time we ll give only a tentative, incomplete answer. Each switching variable in an expression presumably represents a signal; the logical operations are to be implemented (carried out) by means of units of hardware whose overall output is to correspond to the expression in question. If a given expression can be represented in different forms, then different combinations of hardware can be used to give the same overall result. Presumably, some configurations of hardware have advantages over others. More systematic methods for treating different representations of switching expressions will be taken up in Chapter 3; their implementation will be continued in Chapter 4. Here we are only setting the stage. We return now to expression E, renamed E 1 in what follows. Equivalent expressions can be found by applying specific laws of switching algebra. Applying the distributive law to the product term and De Morgan s law to the last term leads to E 2 ; then E 1 = (x + yz)(x + y') + (x + y)' E 2 = xx + xy' + xyz + y'yz + x'y' E 3 = x + x (y' + yz) + x'y' Theorem 3a, Postulates 4a and 5b E 4 = x + x'y' Postulate 4a and Theorem 4a E 5 = x + y' Theorem 5a A fairly complicated expression has been reduced to a rather simple one. Note that E 2 contains a term yy', which equals the identity element 0. We say the expression is redundant. More generally, an expression will be redundant if it contains Repeated literals (xx or x + x) A variable and its complement (xx' or x + x') Explicitly shown switching constants (0 or 1) Redundancies in expressions need never be implemented in hardware; they can be eliminated from expressions in which they show up. Minterms, Maxterms, and Canonic Forms Given an expression dependent on n variables, there are two specific and unique forms into which the expression can always be converted. These forms are the subject of this section.
12 Switching Expressions 45 The expression E 1 in the preceding section had mixtures of terms that were products or sums of other terms. Furthermore, although E 1 seemed to be dependent on three variables, one of these variables was redundant. The final, equivalent form was the sum of two terms, each being a single literal. In the general case, expressions are dependent on n variables. We will consider two nonredundant cases. In one case, an expression consists of nothing but a sum of terms, and each term is made up of a product of literals. Naturally, this would be called a sumof-products (s-of-p) form. The maximum number of literals in a nonredundant product is n. In the second case to be considered, an expression consists of nothing but a product of terms, and each term is made up of a sum of literals; this is the product-of-sums (p-of-s) form. Again, the maximum number of literals in a nonredundant sum is n. Suppose that a product term in a sum-of-products expression, or a sum term in a product-of-sums form, has fewer than the maximum number n of literals.to distinguish such cases from one in which each term is full, we make the following definition: A sum-of-products or product-of-sums expression dependent on n variables is canonic if it contains no redundant literals and each product or sum has exactly n literals. 6 Each product or sum term in a canonic expression has as many literals as the number of variables. EXAMPLE 1 An example of an expression having three variables, in product-of-sums form, is E 1 below (not the previous E 1 ). It is converted to sum-of-products form as follows, with each step justified by the listed switching laws. E 1 = (x' + y' + z)(x + y + z')(x + y + z) E 2 = (x'+ y'+ z)[(x + y)(x + y) + (x + y)(z + z') + zz'] Postulate 4a E 3 = (x'+ y'+ z)(x + y) Postulate 1 and Theorem3b E 4 = xy'+ x'y + xz + yz Posulates 4a and 5b, Theorem 7 In going from E 1 to E 4, redundancies were eliminated at each step. The original expression is in product-of-sums form, with the maximum number of literals in each term; hence, it is canonic. The final form, on the other hand, is in sum-ofproducts form, but it is not canonic; it has only two literals in each term. Given a noncanonic sum-of-products expression, it is always possible to convert it to canonic form if there is some reason to do so! The term xy' in expression E 4, for example, has the variable z missing. Hence, multiply the term by z + z', which equals 1 and so does not change the logical value; then expand.the same idea can be used with the other terms. Carrying out these steps on E 4 leads to the following: E 5 = xy'(z + z') + x'y(z + z') + xz(y + y') + yz(x + x') E 6 = xy'z + xy'z' + x'yz + x'yz' + xyz 6 Some authors use canonical instead of canonic.
13 46 Chapter 2 Switching Algebra and Logic Gates (You should confirm the last line; note that redundancies that are created in the first line by applying Postulate 4a have to be removed.) This is now in canonic sum-of-products form. In a sum-of-products expression dependent on n variables, in order to distinguish between product terms having n literals (the maximum) and those having fewer than n, the following definition is made: A canonic nonredundant product of literals is called a minterm. 7 That is, a minterm is a nonredundant product of as many literals as there are variables in a given expression. Thus, each term in E 6 is a minterm, and so the entire expression is a sum of minterms. The same idea applies to a product-of-sums expression. To distinguish between product terms having the maximum number of literals and others, the following definition is made: A canonic nonredundant sum of literals is called a maxterm. Each factor in expression E 1 in the preceding development is a maxterm; the entire expression is a product of maxterms. If a product-of-sums expression is not initially canonic, it is possible to convert it to canonic form in a manner similar to the one used for the sum-of-products case, but with the operations interchanged. Exercise 3 Convert the following expression to a canonic product of maxterms: E = (x + y')(y' + z'). Answer 8 Generalization of De Morgan s Law One of the Boolean laws that has found wide application is De Morgan s law. It was first stated as Theorem 8 in terms of two variables. It and its dual form, where the sum and product operations are interchanged, are repeated here: (a) (x 1 + x 2 )' = x 1 'x 2 ' and (b) (x 1 x 2 )' = x 1 '+ x 2 ' In words, complementing the sum (product) of two switching variables gives the same result as multiplying (adding) their complements. Suppose we were to increase the number of variables to three; would the result still hold true? That is, we want to perform the following operation: (A + B + C)'. Let s rename A + B as D; then what we want is (D + C)'. But that s just D'C', by De Morgan s law for two variables; and again by De Morgan s law, D' = (A + B)' = A'B'. Hence, the final result is: (a) (A + B + C)' = A'B'C' (b) (ABC)' = A' + B' + C' (1) (The second form follows by duality.) 7 The name doesn t seem to make sense what is min about it? If anything, from the fact that we had to go from terms with two literals to ones with three literals, one would think it should be called max! Your annoyance will have to persist until Chapter 3, when the whole thing will be clarified. 8 E = (x + y' + z)(x + y' + z')(x' + y' + z')
14 Switching Expressions 47 Why stop with three variables? The general case can be written as follows: (x 1 + x x n )' = x 1 'x 2 '... x n ' (2) (x 1 x 2 x... 3 x n )' = x 1 '+ x 2 ' x n ' (3) In words, (2) says that the complement of the logical sum of any number of switching variables equals the logical product of the complements of those variables. (In different terms, the NOT of a string of ORs is the AND of the NOTs of the variables in that string.) In (3), we interchange the operations AND and OR. Just writing the generalization doesn t make it true; it is left for you to prove. Exercise 4 Prove one of the generalized De Morgan laws by mathematical induction. That is, assume it is true for k variables, and show that it is true for k + 1. Since we know it is true for two variables, then it will be true for three, (as already proved); since it is true for three, then... and so on. Something more general can be concluded from De Morgan s law. In (2) and (3), the generalization involves increasing the number of variables in the theorem. On the left sides, the operations whose NOT is being taken are the sum and product. Suppose now that it is these operations that are generalized! That is, on the left, we are to take the complement of some expression that depends on n variables, where the + and operations are performed in various combinations. Will the result be the same if we take the same expression but interchange the sum and product operations while complementing all the variables? The generalization is E'(x 1, x 2,..., x n,+, ) = E( x 1 ', x 2 ',..., x n ',, +) (4) Note the order of the sum and product operations on each side; it indicates that the two operations are interchanged on the two sides, wherever they appear. The result can be proved (we won t do it here) by mathematical induction on the number of operations. (You can do it, if you want.) EXAMPLE 2 The following expression is given: E = xy'z + x'y'z' + x'yz. To find the complement of E, we interchange the + and operations and replace each variable by its complement. Thus, E' = (x' + y + z') (x + y + z) (x + y' + z') Let us first rewrite this expression in sum-of-products form by carrying out the product operations on the terms within parentheses and using necessary Boolean algebra to simplify. (You carry out the steps before you check your work in what follows.) E' = (x'y + x'z + yx + y + yz + z'x + z'y)(x + y' + z') = (x'z + xz' + y)(x + y' + z') = xy + yz' + x'y'z + xz'
15 48 Chapter 2 Switching Algebra and Logic Gates E 1 : E 2 : x y x' y' x'y' x + x'y' x + y' Figure 4 Truth table for E 1 and E 2 To verify that this expression correctly gives the complement of E, you can take its complement using the same generalization of De Morgan s law and see if the original expression for E results. Exercise 5 Take the complement of E' in the preceding expression, using (4). Put the result in sum-of-products form and verify that the result is the same E as given in Example 2. 4 SWITCHING FUNCTIONS In the preceding section we saw several examples in which a given switching expression was converted to other, equivalent expressions by applying Boolean laws to it. The equivalent expressions have the same logic values for all combinations of the variable values. The concept of function plays a very important role in ordinary algebra. So far, such a concept has not been introduced for switching algebra. We will do so now. The discussion will start by considering two simple expressions: E 1 = x + x'y' and E 2 = x + y' Each expression depends on two variables. Collectively, the variables can take on 2 2 = 4 combinations of values. (For n variables, the number of combinations of values is 2 n.) For any combination of variable values, each expression takes on a value that is found by substituting the variable values into it. When this is done for all combinations of variable values, the result is the truth table in Figure 4. (Confirm all the entries.) The last two columns are the same. This is hardly surprising given Theorem 5a. (Look it up.) This example illustrates the principle that different expressions can lead to the same truth values for all combinations of variable values. Exercise 6 Using a truth table, confirm that the expression: E = xy + xy' + y' has the same truth values as E 1 and E 2 in Figure 4. There must be something more fundamental than equivalent expressions; whatever it is may be identified by its truth values. On this basis, we define a switching function as follows: A switching function is a specific unique assignment of switching values 0 and 1 for all possible combinations of values taken on by the variables on which the function depends.
16 Switching Functions 49 x y z f 1 f 2 f 1 ' f 2 ' f 1 + f 2 ' (f 1 f 2 )' Figure 5 Truth tables for several functions. For a function of n variables there are 2 n possible combinations of values. For each combination of values, the function can take on one of two values. Hence, the number of distinct assignments of two values to 2 n things is 2 to the 2 n power. Hence, The number of switching functions of n variables is 2 to the 2 n. On this basis, there are 16 switching functions of two variables and 256 functions of three variables; the number escalates rapidly for more variables. Now consider the functions f 1 (x, y, z) and f 2 (x, y, z) whose truth values are shown in Figure 5. Any switching operation (AND, OR, NOT) can be performed on these functions and the results computed using the truth table. Thus, f 1 ' can be formed by assigning the value 1 whenever f 1 has the value 0, and vice versa. Other combinations of f 1, f 2, or their complements can be formed directly from the truth table. As examples, f 1 + f 2 ' and (f 1 f 2 )' are also shown. Switching Operations on Switching Functions It is clear that functions and, therefore, expressions that represent functions can be treated as if they were variables. Thus, switching laws apply equally well to switching expressions as to variables representing the switching elements. Note carefully that there is a difference in meaning between a switching function and a switching expression. A function is defined by listing its truth values for all combinations of variable values, that is, by its truth table. An expression, on the other hand, is a combination of literals linked by switching operations. For a given combination of variable values, the expression will take on a truth value. If the truth values taken on by an expression, for all possible combinations of variable values, are the same as the corresponding truth values of the function, then we say that the expression represents the function. As observed earlier, it is possible to write more than one expression to represent a specific function. Thus, what is fundamental is the switching function. Of all the expressions that can represent a function, we might seek particular ones that offer an advantage in some way or other. This matter will be pursued further in Chapter 3.
17 50 Chapter 2 Switching Algebra and Logic Gates Decimal Code x y z f Minterms Maxterms x'y'z' x + y + z x'y'z x + y + z' x'yz' x + y' + z x'yz x + y' + z' xy'z' x' + y + z xy'z x' + y + z' xyz' x' + y' + z xyz x' + y' + z' Figure 6 Truth table for example function. Number of Terms in Canonic Forms In treating different switching expressions as equivalent in the previous section, Example 1 gave several different expressions dependent on three variables. We say that all these expressions represent the same function. E 1,in canonic product-of-sums form, has three terms as factors in the product three maxterms. On the other hand, E 6 is in sum-of-products form and has five terms in the sum five minterms. The sum of the number of minterms and maxterms equals 8, which is 2 3, the number of possible combinations of 3 bits. This is an interesting observation. Let s pursue it by constructing a truth table of the function represented by expressions E 1 and E 6. First we write the minterms and the maxterms in the order xyz: 000 to 111. E 6 = x'yz' + x'yz + xy'z' + xy'z + xyz E 1 = (x + y + z)(x + y + z')(x' + y' + z) The table is shown in Figure 6. Something very interesting can be observed by examining the expressions for the minterms and the maxterms. Suppose we take the complement of the minterm corresponding to 000. By De Morgan s law, it is exactly the first maxterm. Confirm that this is indeed true for each row in the table. From this we conclude that to find the canonic product-of-sums form is to apply De Morgan s law to each minterm that is not present. The result in this example is a general one. Given the canonic sum-of-products form of a switching function, the way to obtain a canonic product-of-sums expression is as follows: Apply De Morgan s law to the complement of each minterm that is absent in the sum-of-products expression. Then form the product of the resulting maxterms. Conversely, to obtain a sum-of-products expression from a given product-ofsums expression, Apply De Morgan s law to each sum term absent from the product; Then form the sum of the resulting minterms. (You can confirm this from the same truth table.)
18 Switching Functions 51 Exercise 7 Given the product-of-sums expression in E 1 in this section, use the preceding approach to find the corresponding sum-of-products form. This approach avoids the necessity of carrying out switching algebra to convert from one form to another; instead, given one of the two forms, you can find the other one by mentally carrying out some steps merely by inspection. Shannon s Expansion Theorem Previous examples have shown that more than one expression can represent the same switching function. Two specific expressions noted are the sum-ofproducts and product-of-sums forms. The question arises as to whether a given function can always be expressed in these specific standard forms. An answer to this question, which is the subject of this section, was provided by Claude Shannon. 9 Sum-of-Products Form Suppose that f(x 1, x 2,..., x n ) is any switching function of n variables. Shannon showed that one way of expressing this function is f(x 1, x 2,..., x n ) = x 1 f(1, x 2,..., x n ) + x 1 'f(0, x 2,..., x n ) (5) On the right side, the function is the sum of two terms, one of them relevant when x 1 takes on the value 1 and the other when x 1 takes on the value 0. The first term is x 1 times what remains of f when x 1 takes on the value 1; the second term is x 1 ' times what remains of f when x 1 takes on the value 0. The proof of this expression is easy; it follows by perfect induction. That is, if the result is true for all possible values of variable x 1 (there are only two values 1 and 0) it must be true, period. (Confirm that it is true for both values of x 1.) You can surely see how to proceed: Repeat the process on each of the remaining functions, this time using another variable, say x 2. Continue the process until all variables are exhausted. The result is simply a sum of terms, each of which consists of the product of n literals multiplied by whatever the function becomes when each variable is replaced by either 0 or 1. But the latter is simply the value of the function when the variables collectively take on some specific combination of values; this value is either 0 or 1. So the end result is a sum of all possible nonredundant products of the 2n literals (the n variables and their complements), some of which are multiplied by 1 and the remaining ones by 0. The latter are simply absent in the final result. According to Shannon, this will equal the original function. The proof at each step is by perfect induction. Shannon s expansion theorem in the general case is f = a 0 x 1 'x 2 '... x n '+ a 1 x 1 'x 2 '... x n 1 'x n + a 2 x 1 'x 2 '... x n 1 x n ' a 2 n 2 x 1 x... 2 x n '+ a 2 n 1 x 1 x... 2 x n (6) 9 Claude E. Shannon, A Symbolic Analysis of Relay and Switching Circuits, Trans AIEE, 57 (1938),
19 52 Chapter 2 Switching Algebra and Logic Gates Each a i is a constant in which the subscript is the decimal equivalent of the multiplier of a i viewed as a binary number. Thus, for three variables, a 5 (binary 101) is the coefficient of x 1 x 2 'x 3. Shannon s expansion theorem in (6) is a major result. It shows that Any switching function of n variables can be expressed as a sum of products of n literals, one for each variable. Exercise 8 Let f be a function of two variables, x 1 and x 2. Suppose that f takes on the value 1 for the combinations x 1 x 2 : 00, 10, 11 and the value 0 for the remaining combination. Determine the expression resulting from Shannon s expansion theorem carried out to completion in this case. As an added task, not dependent on Shannon s theorem, simplify the result if possible. Answer 10 In carrying the expansion process in (6) through to completion, a subconscious assumption has been made. That assumption is that, at each step until the last, after some (but not all) variables have been replaced by constants, the function that remains is itself not a constant.that is, what remains still depends on the remaining variables. If, instead, this remaining function reduces to a constant, the process will prematurely terminate and the corresponding term will have fewer than n literals. We have already discussed in the preceding section how to restore any missing literals. Hence, even in such a case, the generalization is valid. Shannon s theorem constitutes an existence proof. That is, it proves by a specific procedure that a certain result is true. Once the proof is established, then for any particular example it isn t necessary to follow the exact procedure used to prove the theorem. Now that we know that a function can always be put into the stated form, we can search for easier ways of doing it. Product-of-Sums Form Shannon s expansion theorem in (6) is a sum-of-products form. It s easy to surmise that a similar result holds for the product-of-sums form. It isn t necessary to go through an extensive proof for this form. The result can be obtained from (5) and (6) by duality. That is, 0 and 1 are interchanged, as are the sum and product operations. Doing this, the counterparts of (5) and (6) become f(x 1, x 2,..., x n ) = [x 1 + f(0, x 2,..., x n )][x 1 '+ f(1, x 2,..., x n )] (7) f = (b 0 + x 1 '+ x 2 ' x n ')(b 1 + x 1 '+... +x n 1 '+ x n )... (b n 2 + x 1 + x x n ')(b n 1 + x 1 + x x n )... (8) where the b i are the constants 0, 1. These equations are the duals of (5) and (6). The last one shows that Any switching function of n variables can be expressed as a product of sums of n literals, one for each variable. If the expansion should terminate prematurely, the missing literals can always be restored by the approach illustrated in the last section. The constants 10 f = x 1 'x 2 '+ x 1 x 2 '+ x 1 x 2 = x 1 + x 2 '
20 Other Switching Operations 53 NOT AND OR XOR NAND NOR XNOR x y x' y' xy x + y x'y + xy' x' + y' x'y' xy + x'y' Figure 7 Truth table for basic operations. will not show up explicitly in an actual function after redundancies are removed. If one of the constants is 1, for example, the entire corresponding factor will be 1, since 1 + x = 1, and the corresponding factor will not be present. On the other hand, if any constant is 0, since 0 + x = x, this constant does not show up but the corresponding factor will be present. Exercise 9 Use the process of Shannon s theorem step by step to put the function in Exercise 8 in a product-of-sums form. Simplify the result, if possible. 5 OTHER SWITCHING OPERATIONS It was noted earlier that propositional logic is isomorphic with switching algebra. As already observed, the language of propositional logic has permeated the way in which operations and ideas are discussed in switching algebra. We will now borrow some other operations that arise naturally in propositional logic and convert them to our use. Exclusive OR In discussing the OR operation in Section 2, an example was given of a compound proposition that sounds as if it should be an OR proposition but isn t: That animal is a cat or a dog. Although the animal could be a cat or a dog, it can t be both a cat and a dog. The operation x + y is inclusive OR; it includes the case where both x and y are 1. The or in cat or dog is different; it has a different meaning in logic. It is called an Exclusive OR, XOR for short, and is given the symbol.thus,x y is true when x and y have opposite truth values, but it is false when x and y have the same value. The truth values of x y are shown in Figure 7. (The table includes the truth values of all the basic logic operations, including some yet to come.) The Exclusive OR is a function of two variables. The most general sum-ofproducts form for such a function can be written as follows: x y = a 0 x'y' + a 1 x'y + a 2 xy' + a 3 xy (9) The values of the a i coefficients can be read from the truth table: 0 for a 0 and a 3, 1 for a 1 and a 2. Thus, (9) reduces to x y = x'y + xy' (10)
Boolean Algebra Part 1
Boolean Algebra Part 1 Page 1 Boolean Algebra Objectives Understand Basic Boolean Algebra Relate Boolean Algebra to Logic Networks Prove Laws using Truth Tables Understand and Use First Basic TheoremsMore information
BOOLEAN ALGEBRA & LOGIC GATES Logic gates are electronic circuits that can be used to implement the most elementary logic expressions, also known as Boolean expressions. The logic gate is the most basicMore information
4 BOOLEAN ALGEBRA AND LOGIC SIMPLIFICATION BOOLEAN OPERATIONS AND EXPRESSIONS Variable, complement, and literal are terms used in Boolean algebra. A variable is a symbol used to represent a logical quantity.More information
Logic Design 2013/9/5. Introduction. Logic circuits operate on digital signals
Introduction Logic Design Chapter 2: Introduction to Logic Circuits Logic circuits operate on digital signals Unlike continuous analog signals that have an infinite number of possible values, digital signalsMore information
Logic in Computer Science: Logic Gates
Logic in Computer Science: Logic Gates Lila Kari The University of Western Ontario Logic in Computer Science: Logic Gates CS2209, Applied Logic for Computer Science 1 / 49 Logic and bit operations ComputersMore information
The equation for the 3-input XOR gate is derived as follows
The equation for the 3-input XOR gate is derived as follows The last four product terms in the above derivation are the four 1-minterms in the 3-input XOR truth table. For 3 or more inputs, the XOR gateMore information
CSEE 3827: Fundamentals of Computer Systems. Standard Forms and Simplification with Karnaugh Maps
CSEE 3827: Fundamentals of Computer Systems Standard Forms and Simplification with Karnaugh Maps Agenda (M&K 2.3-2.5) Standard Forms Product-of-Sums (PoS) Sum-of-Products (SoP) converting between Min-termsMore information
Karnaugh Maps. Circuit-wise, this leads to a minimal two-level implementation
Karnaugh Maps Applications of Boolean logic to circuit design The basic Boolean operations are AND, OR and NOT These operations can be combined to form complex expressions, which can also be directly translatedMore information
Boolean Algebra. Boolean Algebra. Boolean Algebra. Boolean Algebra
2 Ver..4 George Boole was an English mathematician of XIX century can operate on logic (or Boolean) variables that can assume just 2 values: /, true/false, on/off, closed/open Usually value is associatedMore information
CH3 Boolean Algebra (cont d)
CH3 Boolean Algebra (cont d) Lecturer: 吳 安 宇 Date:2005/10/7 ACCESS IC LAB v Today, you ll know: Introduction 1. Guidelines for multiplying out/factoring expressions 2. Exclusive-OR and Equivalence operationsMore information
Karnaugh Maps & Combinational Logic Design. ECE 152A Winter 2012
Karnaugh Maps & Combinational Logic Design ECE 52A Winter 22 Reading Assignment Brown and Vranesic 4 Optimized Implementation of Logic Functions 4. Karnaugh Map 4.2 Strategy for Minimization 4.2. TerminologyMore information
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainlyMore information
Unit 3 Boolean Algebra (Continued)
Unit 3 Boolean Algebra (Continued) 1. Exclusive-OR Operation 2. Consensus Theorem Department of Communication Engineering, NCTU 1 3.1 Multiplying Out and Factoring Expressions Department of CommunicationMore information
Logic Reference Guide
Logic eference Guide Advanced Micro evices INTOUCTION Throughout this data book and design guide we have assumed that you have a good working knowledge of logic. Unfortunately, there always comes a timeMore information
CHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.
CHAPTER 2 Logic 1. Logic Definitions 1.1. Propositions. Definition 1.1.1. A proposition is a declarative sentence that is either true (denoted either T or 1) or false (denoted either F or 0). Notation:More information
3.Basic Gate Combinations
3.Basic Gate Combinations 3.1 TTL NAND Gate In logic circuits transistors play the role of switches. For those in the TTL gate the conducting state (on) occurs when the baseemmiter signal is high, andMore information
1. True or False? A voltage level in the range 0 to 2 volts is interpreted as a binary 1.
File: chap04, Chapter 04 1. True or False? A voltage level in the range 0 to 2 volts is interpreted as a binary 1. 2. True or False? A gate is a device that accepts a single input signal and produces oneMore information
Basic Logic Gates Richard E. Haskell
BASIC LOGIC GATES 1 E Basic Logic Gates Richard E. Haskell All digital systems are made from a few basic digital circuits that we call logic gates. These circuits perform the basic logic functions thatMore information
Points Addressed in this Lecture. Standard form of Boolean Expressions. Lecture 5: Logic Simplication & Karnaugh Map
Points Addressed in this Lecture Lecture 5: Logic Simplication & Karnaugh Map Professor Peter Cheung Department of EEE, Imperial College London (Floyd 4.5-4.) (Tocci 4.-4.5) Standard form of Boolean ExpressionsMore information
CHAPTER 3 Numbers and Numeral Systems
CHAPTER 3 Numbers and Numeral Systems Numbers play an important role in almost all areas of mathematics, not least in calculus. Virtually all calculus books contain a thorough description of the natural,More information
An Interesting Way to Combine Numbers
An Interesting Way to Combine Numbers Joshua Zucker and Tom Davis November 28, 2007 Abstract This exercise can be used for middle school students and older. The original problem seems almost impossiblyMore information
Ex. Convert the Boolean function F = x + y z into a sum of minterms by using a truth table.
Section 3.5 - Minterms, Maxterms, Canonical Fm & Standard Fm Page 1 of 5 3.5 Canonical Fms In general, the unique algebraic expression f any Boolean function can be obtained from its truth table by usingMore information
COLLEGE ALGEBRA. Paul Dawkins
COLLEGE ALGEBRA Paul Dawkins Table of Contents Preface... iii Outline... iv Preliminaries... Introduction... Integer Exponents... Rational Exponents... 9 Real Exponents...5 Radicals...6 Polynomials...5More information
A set is a Many that allows itself to be thought of as a One. (Georg Cantor)
Chapter 4 Set Theory A set is a Many that allows itself to be thought of as a One. (Georg Cantor) In the previous chapters, we have often encountered sets, for example, prime numbers form a set, domainsMore information
CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduceMore information
CHAPTER 3 Boolean Algebra and Digital Logic
CHAPTER 3 Boolean Algebra and Digital Logic 3.1 Introduction 121 3.2 Boolean Algebra 122 3.2.1 Boolean Expressions 123 3.2.2 Boolean Identities 124 3.2.3 Simplification of Boolean Expressions 126 3.2.4More information
Gates, Circuits, and Boolean Algebra
Gates, Circuits, and Boolean Algebra Computers and Electricity A gate is a device that performs a basic operation on electrical signals Gates are combined into circuits to perform more complicated tasksMore information
Simplifying Logic Circuits with Karnaugh Maps
Simplifying Logic Circuits with Karnaugh Maps The circuit at the top right is the logic equivalent of the Boolean expression: f = abc + abc + abc Now, as we have seen, this expression can be simplifiedMore information
2.0 Chapter Overview. 2.1 Boolean Algebra
Thi d t t d ith F M k 4 0 2 Boolean Algebra Chapter Two Logic circuits are the basis for modern digital computer systems. To appreciate how computer systems operate you will need to understand digitalMore information
CSE140: Midterm 1 Solution and Rubric
CSE140: Midterm 1 Solution and Rubric April 23, 2014 1 Short Answers 1.1 True or (6pts) 1. A maxterm must include all input variables (1pt) True 2. A canonical product of sums is a product of mintermsMore information
A Concrete Introduction. to the Abstract Concepts. of Integers and Algebra using Algebra Tiles
A Concrete Introduction to the Abstract Concepts of Integers and Algebra using Algebra Tiles Table of Contents Introduction... 1 page Integers 1: Introduction to Integers... 3 2: Working with Algebra Tiles...More information
2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.
2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true thenMore information
CSE140: Components and Design Techniques for Digital Systems
CSE4: Components and Design Techniques for Digital Systems Tajana Simunic Rosing What we covered thus far: Number representations Logic gates Boolean algebra Introduction to CMOS HW#2 due, HW#3 assignedMore information
Elementary Number Theory We begin with a bit of elementary number theory, which is concerned
CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,More information
Basics of Digital Systems. Boolean algebra Truth tables Karnaugh maps
Basics of Digital Systems Boolean algebra Truth tables Karnaugh maps Boolean Algebra In digital systems we deal with the binary number system. This means that the value of an element can be either 0 orMore information
Welcome to Math 19500 Video Lessons. Stanley Ocken. Department of Mathematics The City College of New York Fall 2013
Welcome to Math 19500 Video Lessons Prof. Department of Mathematics The City College of New York Fall 2013 An important feature of the following Beamer slide presentations is that you, the reader, moveMore information
Summation Algebra. x i
2 Summation Algebra In the next 3 chapters, we deal with the very basic results in summation algebra, descriptive statistics, and matrix algebra that are prerequisites for the study of SEM theory. YouMore information
Math Review. for the Quantitative Reasoning Measure of the GRE revised General Test
Math Review for the Quantitative Reasoning Measure of the GRE revised General Test www.ets.org Overview This Math Review will familiarize you with the mathematical skills and concepts that are importantMore information
6 EXTENDING ALGEBRA. 6.0 Introduction. 6.1 The cubic equation. Objectives
6 EXTENDING ALGEBRA Chapter 6 Extending Algebra Objectives After studying this chapter you should understand techniques whereby equations of cubic degree and higher can be solved; be able to factoriseMore information
Click on the links below to jump directly to the relevant section
Click on the links below to jump directly to the relevant section What is algebra? Operations with algebraic terms Mathematical properties of real numbers Order of operations What is Algebra? Algebra isMore information
Points Addressed in this Lecture
Points Addressed in this Lecture Lecture 3: Basic Logic Gates & Boolean Expressions Professor Peter Cheung Department of EEE, Imperial College London (Floyd 3.1-3.5, 4.1) (Tocci 3.1-3.9) What are the basicMore information
Combinational Logic Design
Chapter 4 Combinational Logic Design The foundations for the design of digital logic circuits were established in the preceding chapters. The elements of Boolean algebra (two-element switching algebraMore information
Boolean Algebra (cont d) UNIT 3 BOOLEAN ALGEBRA (CONT D) Guidelines for Multiplying Out and Factoring. Objectives. Iris Hui-Ru Jiang Spring 2010
Boolean Algebra (cont d) 2 Contents Multiplying out and factoring expressions Exclusive-OR and Exclusive-NOR operations The consensus theorem Summary of algebraic simplification Proving validity of anMore information
You know from calculus that functions play a fundamental role in mathematics.
CHPTER 12 Functions You know from calculus that functions play a fundamental role in mathematics. You likely view a function as a kind of formula that describes a relationship between two (or more) quantities.More information
An Innocent Investigation
An Innocent Investigation D. Joyce, Clark University January 2006 The beginning. Have you ever wondered why every number is either even or odd? I don t mean to ask if you ever wondered whether every numberMore information
Combinational Logic Circuits
Chapter 2 Combinational Logic Circuits J.J. Shann Chapter Overview 2-1 Binary Logic and Gates 2-2 Boolean Algebra 2-3 Standard Forms 2-4 Two-Level Circuit Optimization 2-5 Map Manipulation 補 充 資 料 :Quine-McCluskeyMore information
Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson
Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statementMore information
Applications of Methods of Proof
CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The set-theoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets areMore information
Introduction. Logic. Most Difficult Reading Topics. Basic Logic Gates Truth Tables Logical Functions. COMP370 Introduction to Computer Architecture
Introduction LOGIC GATES COMP370 Introduction to Computer Architecture Basic Logic Gates Truth Tables Logical Functions Truth Tables Logical Expression Graphical l Form Most Difficult Reading Topics LogicMore information
1.4 Variable Expressions
1.4 Variable Expressions Now that we can properly deal with all of our numbers and numbering systems, we need to turn our attention to actual algebra. Algebra consists of dealing with unknown values. TheseMore information
So let us begin our quest to find the holy grail of real analysis.
1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbersMore information
MODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.
MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, onMore information
Chapter 2: Boolean Algebra and Logic Gates. Boolean Algebra
The Universit Of Alabama in Huntsville Computer Science Chapter 2: Boolean Algebra and Logic Gates The Universit Of Alabama in Huntsville Computer Science Boolean Algebra The algebraic sstem usuall usedMore information
3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)More information
Lecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved
Lecture Notes in Discrete Mathematics Marcel B. Finan Arkansas Tech University c All Rights Reserved 2 Preface This book is designed for a one semester course in discrete mathematics for sophomore or juniorMore information
Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducingMore information
1 Propositional Logic
1 Propositional Logic Propositions 1.1 Definition A declarative sentence is a sentence that declares a fact or facts. Example 1 The earth is spherical. 7 + 1 = 6 + 2 x 2 > 0 for all real numbers x. 1 =More information
Formal Languages and Automata Theory - Regular Expressions and Finite Automata -
Formal Languages and Automata Theory - Regular Expressions and Finite Automata - Samarjit Chakraborty Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology (ETH) Zürich MarchMore information
Basic Proof Techniques
Basic Proof Techniques David Ferry firstname.lastname@example.com September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This documentMore information
Revised Version of Chapter 23. We learned long ago how to solve linear congruences. ax c (mod m)
Chapter 23 Squares Modulo p Revised Version of Chapter 23 We learned long ago how to solve linear congruences ax c (mod m) (see Chapter 8). It s now time to take the plunge and move on to quadratic equations.More information
ENGIN 112 Intro to Electrical and Computer Engineering
ENGIN 112 Intro to Electrical and omputer Engineering Lecture 11 NND and XOR Implementations Overview Developing NND circuits from K-maps Two-level implementations onvert from ND/OR to NND (again!) Multi-levelMore information
December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B. KITCHENS
December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B KITCHENS The equation 1 Lines in two-dimensional space (1) 2x y = 3 describes a line in two-dimensional space The coefficients of x and y in the equationMore information
ENEE 244 (01**). Spring 2006. Homework 4. Due back in class on Friday, April 7.
ENEE 244 (**). Spring 26 Homework 4 Due back in class on Friday, April 7.. Implement the following Boolean expression with exclusive-or and AND gates only: F = AB'CD' + A'BCD' + AB'C'D + A'BC'D. F = ABMore information
Chapter 4. Gates and Circuits. Chapter Goals. Chapter Goals. Computers and Electricity. Computers and Electricity. Gates
Chapter Goals Chapter 4 Gates and Circuits Identify the basic gates and describe the behavior of each Describe how gates are implemented using transistors Combine basic gates into circuits Describe theMore information
Karnaugh Map. Alternative way to Boolean Function Simplification. Karnaugh Map. Description of Kmap & Terminology
Alternative way to Boolean Function Simplification Karnaugh Map CIT 595 Spring 2010 Simplification of Boolean functions leads to simpler (and usually faster) digital circuits Simplifying Boolean functionsMore information
Quotient Rings and Field Extensions
Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.More information
Chapter 7. Functions and onto. 7.1 Functions
Chapter 7 Functions and onto This chapter covers functions, including function composition and what it means for a function to be onto. In the process, we ll see what happens when two dissimilar quantifiersMore information
9.2 Summation Notation
9. Summation Notation 66 9. Summation Notation In the previous section, we introduced sequences and now we shall present notation and theorems concerning the sum of terms of a sequence. We begin with aMore information
BEGINNING ALGEBRA The Nursing Department of Labouré College requested the Department of Academic Planning and Support Services to help with mathematics preparatory materials for its Bachelor of ScienceMore information
(Refer Slide Time: 01:11-01:27)
Digital Signal Processing Prof. S. C. Dutta Roy Department of Electrical Engineering Indian Institute of Technology, Delhi Lecture - 6 Digital systems (contd.); inverse systems, stability, FIR and IIR,More information
If A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C?
Problem 3 If A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C? Suggested Questions to ask students about Problem 3 The key to this questionMore information
Chapter 1: Digital Systems and Binary Numbers
Chapter 1: Digital Systems and Binary Numbers Digital age and information age Digital computers general purposes many scientific, industrial and commercial applications Digital systems telephone switchingMore information
Understanding Logic Design
Understanding Logic Design ppendix of your Textbook does not have the needed background information. This document supplements it. When you write add DD R0, R1, R2, you imagine something like this: R1More information
Chapter 1. Computation theory
Chapter 1. Computation theory In this chapter we will describe computation logic for the machines. This topic is a wide interdisciplinary field, so that the students can work in an interdisciplinary context.More information
The finite field with 2 elements The simplest finite field is
The finite field with 2 elements The simplest finite field is GF (2) = F 2 = {0, 1} = Z/2 It has addition and multiplication + and defined to be 0 + 0 = 0 0 + 1 = 1 1 + 0 = 1 1 + 1 = 0 0 0 = 0 0 1 = 0More information
Introduction to computer science
Introduction to computer science Michael A. Nielsen University of Queensland Goals: 1. Introduce the notion of the computational complexity of a problem, and define the major computational complexity classes.More information
3(vi) B. Answer: False. 3(vii) B. Answer: True
Mathematics 0N1 Solutions 1 1. Write the following sets in list form. 1(i) The set of letters in the word banana. {a, b, n}. 1(ii) {x : x 2 + 3x 10 = 0}. 3(iv) C A. True 3(v) B = {e, e, f, c}. True 3(vi)More information
Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of usMore information
def: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.
Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from trueMore information
1.5. Factorisation. Introduction. Prerequisites. Learning Outcomes. Learning Style
Factorisation 1.5 Introduction In Block 4 we showed the way in which brackets were removed from algebraic expressions. Factorisation, which can be considered as the reverse of this process, is dealt withMore information
parent ROADMAP MATHEMATICS SUPPORTING YOUR CHILD IN HIGH SCHOOL
parent ROADMAP MATHEMATICS SUPPORTING YOUR CHILD IN HIGH SCHOOL HS America s schools are working to provide higher quality instruction than ever before. The way we taught students in the past simply doesMore information
Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras
Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture No. # 31 Recursive Sets, Recursively Innumerable Sets, EncodingMore information
11 Ideals. 11.1 Revisiting Z
11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(More information
Digital circuits make up all computers and computer systems. The operation of digital circuits is based on
Digital Logic Circuits Digital circuits make up all computers and computer systems. The operation of digital circuits is based on Boolean algebra, the mathematics of binary numbers. Boolean algebra isMore information
0.8 Rational Expressions and Equations
96 Prerequisites 0.8 Rational Expressions and Equations We now turn our attention to rational expressions - that is, algebraic fractions - and equations which contain them. The reader is encouraged toMore information
Section 1. Finding Common Terms
Worksheet 2.1 Factors of Algebraic Expressions Section 1 Finding Common Terms In worksheet 1.2 we talked about factors of whole numbers. Remember, if a b = ab then a is a factor of ab and b is a factorMore information
Mathematical Induction
Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) HowMore information
2 1 Implementation using NAND gates: We can write the XOR logical expression A B + A B using double negation as
Chapter 2 Digital Logic asics 2 Implementation using NND gates: We can write the XOR logical expression + using double negation as + = + = From this logical expression, we can derive the following NNDMore information
Chapter 2 Combinational Logic Circuits
Logic and Computer Design Fundamentals Chapter 2 Combinational Logic Circuits Part 3 Additional Gates and Circuits Charles Kime & Thomas Kaminski 2008 Pearson Education, Inc. Overview Part 1 Gate CircuitsMore information
Factoring Polynomials
Section P.5 Factoring Polynomials 51 P.5 Factoring Polynomials What you should learn: Factor polynomials with common factors Factor polynomials by grouping terms Factor the difference of two squares FactorMore information
CONTENTS 1. Peter Kahn. Spring 2007
CONTENTS 1 MATH 304: CONSTRUCTING THE REAL NUMBERS Peter Kahn Spring 2007 Contents 2 The Integers 1 2.1 The basic construction.......................... 1 2.2 Adding integers..............................More information
2011, The McGraw-Hill Companies, Inc. Chapter 4
Chapter 4 4.1 The Binary Concept Binary refers to the idea that many things can be thought of as existing in only one of two states. The binary states are 1 and 0 The 1 and 0 can represent: ON or OFF OpenMore information
Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.
Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (wholeMore information
Mathematics Review for MS Finance Students
Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,More information
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that itMore information
EE360: Digital Design I Course Syllabus
: Course Syllabus Dr. Mohammad H. Awedh Fall 2008 Course Description This course introduces students to the basic concepts of digital systems, including analysis and design. Both combinational and sequentialMore information
Algebraic expressions are a combination of numbers and variables. Here are examples of some basic algebraic expressions.
Page 1 of 13 Review of Linear Expressions and Equations Skills involving linear equations can be divided into the following groups: Simplifying algebraic expressions. Linear expressions. Solving linearMore information
Sect 6.1 - Greatest Common Factor and Factoring by Grouping
Sect 6.1 - Greatest Common Factor and Factoring by Grouping Our goal in this chapter is to solve non-linear equations by breaking them down into a series of linear equations that we can solve. To do this,More information
5.4 The Quadratic Formula
Section 5.4 The Quadratic Formula 481 5.4 The Quadratic Formula Consider the general quadratic function f(x) = ax + bx + c. In the previous section, we learned that we can find the zeros of this functionMore information
Module-3 SEQUENTIAL LOGIC CIRCUITS
Module-3 SEQUENTIAL LOGIC CIRCUITS Till now we studied the logic circuits whose outputs at any instant of time depend only on the input signals present at that time are known as combinational circuits.More information


text:
STAYMATRIX Service Apartment @ Pondy Bazar(719)
Call us 1800-300-2400-1 (Toll Free) and Get additional Discount upto 50% for this Hotel.
Flat No. 11 & 14, Veekay Manor, No.8, Gopalakrishna Road,T.Nagar, T. Nagar, CHENNAI, TAMIL NADU, India, Pin-600017
Per Room Per Night
Lowest Price Guarantee
You are getting lowest possible rate for this hotel
- About Hotel
- Reviews
Select Room
About STAYMATRIX Service Apartment @ Pondy Bazar(719)
Staymatrix Service Apartment @ Pondy Bazar (719) offers room service that serves delicious food to all its guests. This apartment is situated approx 13 km away from Chennai International Airport. This apartment has 10 rooms for accommodation which includes amenities such as comfortable bed, television, fully fledged kitchen and attached bathroom.
No of floors: 2 | No of rooms: 10
Checkin Time: 1200 pm
Checkout Time: 1200 pm
Hotel Information and Amenities
Read More....
Hotel Amenities
- Medical Services
- Room Service
- Parking
- Laundry Facilities
- Housekeeping
- Airport Transportation
- Temperature Control
- H/C Running Water
- Television-Room
- Attached Bathroom
Hotel Location

subset: commoncrawl


text:
Multi-talented and invigorating: Raindance range from Hansgrohe
Introducing the Raindance range from Hansgrohe
Multi-talented with smart push-button
Forceful and gentle across the entire shower face: the new Raindance Select E 120 hand shower from Hansgrohe combines two different rain jets in a single hand shower.
Talking showers tends to split the audience into two camps: some like a gentle warm shower, others prefer an effective, powerful downpour. Bathroom and sanitation specialist Hansgrohe took a closer look at the showering behaviors and preferences of its customers. The results of this research flowed straight into the development of the new Raindance Select E 120 hand shower, which now provides the right water experience for every need and shower type, thanks to its innovative jet technology. And it does so at the click of a button: switching between the three types of water jet is ingeniously simple and convenient with the Select push-button.
Invigorating rush of water
The RainFlow or the new RainStream: unbridled shower pleasure from the Raindance Rainfall 150 overhead showers from Hansgrohe.
Enjoying water in its natural form, as a solid stream pouring down onto the neck and shoulders, has become a popular trend in the wellness bathroom. With its clear, beautiful arc of water gushing from the RainFlow jet, the new Raindance Rainfall 150 overhead shower from the bathroom and sanitation specialist Hansgrohe brings the sensation of standing under a waterfall right into your bathroom. Whether in hotels, swimming pools, saunas or sports and wellness facilities, with its slimline, flat profile the Raindance Rainfall 150 overhead shower with its timeless design is the perfect choice for any situation, and it is also very easy to install on the wall.
The developers discovered an innovative flow solution with the new RainStream jet. Unlike conventional flood jets, which often taper down along their trajectory, the new technology splits the stream into many separate jets which spread across the entire body of the person taking a shower. Even at significantly reduced water consumption, the flood jet still feels very pleasant. In fact, both the clear RainFlow and the tingling RainStream are perfect for applications designed to be invigorating, for example after sporting activities or after a sauna.
Shower pleasure by design
The Raindance Select E 300 Showerpipe from Hansgrohe is the complete wellness package for every bathroom.
What we expect first and foremost from technology is that it will not make our lives more complicated, but easier and more comfortable instead. Simplicity is the saving grace that gets us through our ever more complex everyday lives. This is also the premise on which the mixer and shower specialist Hansgrohe based the development of a new operating philosophy. With the push-button method of switching between different types of jets, Hansgrohe has implemented the same principle we have already become accustomed to when we use mouse clicks and operate light switches.
The new Raindance Select E 300 showerpipe combines overhead shower, hand shower and thermostat in a single system suitable for simple surface-mounted installation. The system offers no fewer than five different shower modes: the hand shower pampers the body with three, the overhead shower with two different types of jets. Switching between the types of jets is done simply by pressing the large Select push-button on the hand shower or the overhead shower. Another sophisticated feature is the well designed Ecostat Select thermostat: more than just a beautifully shaped object, it also serves as a practical shelf for shower utensils.
Overhead shower pleasure at the click of a button
Stunningly simple mode of operation: the Raindance Select E 300 from Hansgrohe with new jet technology and innovative Select switching.
Like warm summer rain: shower pleasure from an overhead shower – a growing trend that is turning increasing numbers of bathrooms into oases of well being. The products responsible for creating this now much sought-after overhead shower feeling were the large Raindance overhead showers from shower specialist Hansgrohe. With the new Raindance Select E 300 overhead shower, Hansgrohe continues its success story. Two comfort aspects in particular extend the shower pleasure even further. The product developers succeeded in integrating two different types of rain jet across the entire shower face for the first time: aerated gentle droplets or forceful, invigorating jets. Added to this is the strikingly simple method for switching between the jets: Hansgrohe has integrated its Select push-button function into an overhead shower for the first time.
The entire Radiance range will be available in New Zealand in Jan 2013 and a selected range will be produced in an Australian version in late 2013.
Hansgrohe supplies taps and mixers for showers, baths, basins and kitchens, along with other bathroom products, from Axor and Hansgrohe.Learn more
Regional Office/Distributor
Level 1
123 Camberwell Road
East Hawthorn, 3123
Phone: 03 9811 9...


text:
Carter leads Magic over HawksOct 24, 2009 - 3:50 AM ORLANDO, Fla.(AP) -- Vince Carter was 9 of 10 from the field and scored 26 points to lead the Orlando Magic to a 123-86 victory over the Atlanta Hawks on Friday night to cap the NBA's only unbeaten preseason.
The Magic (8-0) won their exhibition games by an average of 18 points.
Carter, acquired in an offseason trade with New Jersey, made all five of his 3-point attempts.
"If we are going to play for a championship, we wanted to hit the ground running," Carter said. "We didn't want to struggle at the beginning while everyone got acclimated to each other. So we worked hard early, and it's paid off."
Dwight Howard, the NBA's reigning Defensive Player of the Year, had 25 points and 13 rebounds for Orlando.
Jamal Crawford had 14 points for the Hawks (5-2).
Ryan Anderson, who was in the trade that brought Carter to Orlando, had another strong showing, finishing with 18 points in 20 minutes. He scored the Magics first eight points of the game. He had 14 points and three rebounds in the opening 6 minutes when he outscored the Hawks by himself.
Anderson is expected to take the starting spot that later will belong to All-Star forward Rashard Lewis, who will miss the first 10 games serving an NBA suspension for violating the league's substance abuse program.
The Magic, defending Eastern Conference champions, went unbeaten in the preseason for the first time in franchise history.
"They are playing at a high level already," Hawks coach Mike Woodson said of the Magic. "They had a great taste of success last year by going to the finals, that puts you in a different light each night you step on the floor."
The game was never close, even though the Hawks used the starting lineup they expect to have when the regular season begins next week. Both teams open the season on Wednesday.
The Magic led 62-41 at halftime and 101-67 after three quarters.
"We progressed as the preseason went on, and I thought we progressed well," Magic coach Stan Van Gundy said. "Our depth is great. I thought we played well on both ends of the court."
NOTES: The Hawks will be trying to improve their record for the fifth consecutive season, having won 13, 26, 30, 37 and 47 games under Woodson. ... Although Van Gundy said he doesn't care much about winning in the preseason, he obviously has pushed his team to do well early. The Magic are 20-2 in the preseason since Van Gundy became coach in 2007.
- 10
roots#1 Cards Fan Added 5 roots
Hawks 86, Magic 123 FinalOct 24 4:54 PM
- 5
rootsMattDOOM777 Added 5 roots
Hawks 86, Magic 123 FinalOct 24 2:47 AM
Oct 23 10:28 PM
Oct 23 9:55 PM
Oct 23 9:07 PM
Oct 23 8:33 PM
Related News
- Magic formally introduce Frank Vogel as their new coach May 23
- Magic officially announce Frank Vogel as new head coach May 20
- AP Source: Orlando Magic hire Frank Vogel as next coach May 19
- Point man: Irving shines in Cavs' demolition of Raptors May 18
- After long overseas career, Nets coach Atkinson back in NY May 16
- Thursday's Sports in Brief May 13
- How many times has your team changed coaches in the Pop era? May 12
- Scott Skiles resigns as coach of Magic after just 1 season May 12
- BC-AP Sports Preview Digest May 12
- After fallback season, Hawks look to rise again in East May 9
- Big Three leads Cavaliers back to Eastern Conference finals May 9
- NBA Playoff Capsules May 8


text:
SPORTS PEOPLE: FOOTBALL; Sayers Says Kansas Taking a Risk
Published: August 5, 1993
Kansas is risking all the strides it has taken on the football field in recent years by playing Florida State in the Kickoff Classic, GALE SAYERS said last night. Sayers, a Pro Football Hall of Fame member and a former Jayhawk, said a losing season and a poor performance in the Kickoff Classic could "kill the program" that has been resurrected under GLEN MASON. Kansas, which had one of the worst collegiate football programs in the country until recently, went 6-5 two years ago and improved to 8-4 last year. Kansas capped the season with a victory over Brigham Young in the Aloha Bowl. The Kickoff Classic at Giants Stadium on Aug. 28 will net Kansas a minimum of $625,000. (AP)


text:
Tonight, I make my return to the system I abandoned 3 years ago, the Wii!
Now the question is, what game should I play to re-kindle my friendship? Here are the top 10 games (I think) I have in my library.
So what do you guys think? What should I be playing?


text:
Top 10 Proven Signs She's Interested
January 22, 2012 by staff
Top 10 Proven Signs She's Interested, Once you've got the ball rolling in the conversation department, try taking things to the next level by sharing something about yourself with her.
The less you know her, the more positive and less personal the information should be, or you risk scaring her off. A reciprocal response where she offers up a similar level of information about herself is a hint that she has a favorable view of you, since both women and men tend to disclose personal details to people they like.
Also, though you might think it's superficial to bond over a mutual love of barbecue chips, sharing serves to increase the feeling of intimacy between two people, meaning she'll like you even more.
Please feel free to send if you have any questions regarding this post , you can contact on
Disclaimer: The views expressed on this site are that of the authors and not necessarily that of U.S.S.POST.


text:
- Travel insurance
- Other insurances
- About us
- Help
- Blog
- Make a claim online
While it's important to get good value for money when buying travel insurance, it's arguably more important to ensure you're covered for every eventuality – even if it seems pretty unlikely. When you buy travel insurance, you must think about what could go wrong on your holiday and buy coverage to protect yourself in case it happens, whether that's losing your baggage, your flight being delayed, needing medical treatment, or the chance you might injure yourself doing a specific activity.
We can cover your kids for free!
If you're going away with your children, we can cover them on your policy at no extra charge, whether you buy an annual policy or single trip cover.
24 hour medical assistance
+44 (0)207 748 0060
Customer services
+44 (0)207 748 8593
We do pet insurance now too
So if you've got a cat, dog or rabbit that needs insuring, get them covered today.
The travel insurance policies you can buy aren't all equal when it comes to what they cover and to what levels of cover they offer. So, as well as comparing the prices of the travel insurance you're looking to buy, you should also make a comparison between the things that are covered and levels of cover on offer.
Possibly the most important coverage to get right is your medical expenses cover. This will cover you for your emergency medical bills, emergency dental treatment and usually repatriation up to a certain amount depending on your policy. Getting medical treatment abroad can be costly, so you don't want to end up with a big bill if you're taken ill or suffer an injury while on holiday.
If you're travelling in Europe, experts recommend you take out at least £1 million of cover, while if you are travelling outside Europe, at least £2 million. We offer a minimum of £5 million.
It may be a good idea to get a policy with a higher level of cover for medical expenses if you're travelling somewhere with expensive medical care. The USA is by far the most expensive healthcare system in the world, followed by Australia.
The ten most expensive healthcare systems (by the cost of basic medical insurance) are, in order:
If you have any pre-existing medical conditions, these will need to be disclosed to ensure they are covered either within the medical expenses cover or as an extra. If this is applicable to you, the process taken by different insurers varies and this will be a key area of comparison for you. Some insurers cover certain minor conditions as standard, others screen all conditions based on a series of questions.
Repatriation (the process of being taken back home from abroad) is covered under most standard travel insurance policies. For travellers, it usually happens when you fall ill or suffer a medical emergency and need to be returned to your home country, so it can usually be found under the medical emergency expenses section. Repatriation is handled separately from medical expenses because the costs associated with it are potentially high – hiring a specialist air ambulance or emergency helicopter, for example. Cover will vary dependent on your policy choice but typically range between £5 million up to £15 million. It's recommended that cover should not start any lower than £5 million, so make sure you always compare the various travel insurance policies with that in mind.
Personal liability covers you if you're legally liable for accidentally injuring someone, or damaging or losing their property, while abroad.
If you injure someone, or damage their personal property, they could make a claim for compensation against you. It's therefore a good idea to choose an insurer who is willing to provide you with personal liability cover of at least up to £1 million.
This covers you if your baggage or personal effects are lost, stolen or damaged, taking wear and tear into account. The important element to understand here is that regardless of the level of overall cover, some insurers put a single item limit on their policies - this is the maximum amount of money that will be paid for a single item. Single item limits typically stand at around £300, but some policies will allow you to increase your coverage. You should also bear in mind that some insurers will refuse to cover you for valuables such as laptops and smart phones, so you may need to take out separate insurance policies for these items.
Money saving websites such as Which? recommend at least £1,500 for baggage and personal belongings cover. Baggage cover should be enough to cover your valuables and baggage, so you don't lose money if you have to make a claim.
Cancellation is one of the most important basic costs that your travel insurance can protect you against. This pays up to the amount specified on your policy if you need to cancel or curtail (cut short) your holiday. Usually this only covers costs that you can't recover or get refunded from your holiday supplier: depending on your policy, your insurer may pay for some of the costs if you need to cancel or cut short your holiday for a specific personal reason; for example, a serious illness or redundancy, or if your flight is delayed for longer than 24 hours.
Cancellation cover can range from £250 to £7,500, so it's important to check that your chosen policy covers the cost of your trip. Money saving websites generally recommend about £3,000 for cancellation cover. A good idea is to compare the amount of cancellation cover against the cost of your holiday. If your holiday costs more than your cancellation cover, you may have to pay.
Cancellation cover may or may not protect you in the event you have to cancel your trip as a result of a medical condition suffered by a friend. Some insurers may require a doctor to confirm that you had no way of knowing that friend was going to fall ill.
If you're planning on doing some extreme sports, you can add on activities cover, which will pay in the event that you need to claim as a result. If you're planning on more risky activities like bungee jumping or skydiving, however, you'll need to find a policy that covers you for these so you don't end up out of pocket if you get injured and need to make a claim.
All travel insurance policies have specific inclusions and exclusions, so it's essential to read the policy wording carefully and compare the activities covered.
Activities that are often but not always covered:
Activities that are typically excluded:
Legal expenses cover protects you if you have to initiate legal proceedings against someone while you're abroad – if you have to claim compensation or damages, for example. This will usually include the cost of hiring a lawyer.
Legal expenses cover might be useful if you're planning on doing a lot of driving while you're away. If someone crashes into you and injures you, it will help protect you (along with your car insurance, which you must also have) as you pursue compensation from the other party.
Some travel insurance policies include flight cancellation, but you can purchase SAFI cover as an extra. SAFI stands for "scheduled airline failure cover". It means you're protected if the airline you're travelling with goes bankrupt or becomes insolvent. This type of cover was more urgently needed at the height of the UK recession, but if your airline should happen to go into administration, the cost of rearranging your journey home could be expensive. If you're looking to add SAFI cover onto your travel insurance, make sure your policy will be enough to pay for the costs of a replacement flight home. We offer SAFI insurance for a maximum of £5,000.
Similar to SAFI cover, supplier insolvency protects you in the event your travel or holiday providers go bankrupt or become insolvent. This includes your accommodation and car hire. This is especially useful if your holiday supplier does not have a licence from ATOL (Air Travel Organisers' Licensing) or if they're not a member of ABTA (Association of British Travel Agents), TTA (Travel Trust Association) or the Global Travel Group. If your supplier is a member of ATOL, for example, you may be automatically protected in the event that they go into administration. Booking a holiday through a credit card may also provide you with extra protection through the Consumer Trade Credit Association Act.
Types of supplier may include:
If your end supplier goes into administration, InsureandGo offer cover up to a maximum of £1,500 on our Gold policies.
If you have to stay in hospital while abroad and you have purchased hospital benefit cover, you may be eligible to receive a fixed payment for each set period of time (usually 24 hours) that you have to spend in hospital, up to a maximum amount depending on your policy. It's designed to cover additional costs that aren't covered by your medical expenses policy – food and drink, for example. Note that this part of the insurance typically doesn't cover you if your trip is in your home area, i.e. England, Scotland, Wales, Northern Ireland and the Isle of Man (or your final country on a one-way trip). Experts recommend looking for a policy that will pay at least £15 for each set period – enough to cover you for basic daily expenses – and to ensure your insurer will cover you for longer than a day in hospital at least.
If you're planning to leave your pet in a cattery or kennel, and you want to get protection in case your flight is delayed on the return journey and you can't pick up your pet in time, then pet care cover can provide a daily benefit payment to cover the extended cost of the pet's stay. This is usually per 24 hours. Naturally this isn't important if you don't have a pet, but if you do, it's good to have cover if you can't pick up your animal at the pre-arranged time.
If you're travelling for business, this cover will pay up to the policy amount for the loss, damage, theft or significant delay of any equipment or personal money. They may also provide emergency courier services in the event a delay. If you have proof your trip was for business, you can also claim back personal accident money. Your business cover should provide protection for personal belongings (your laptop, tablet or business mobile), business equipment (up to the single article limit based on your policy wording), and pay travel expenses if you're caused to miss any connections or your flight is cancelled.
If your hotel or accommodation is unreachable as a result of fire, flood, storm, explosion, avalanche or an outbreak of infectious disease, this cover will protect you up to an amount specified by your policy. Your policy should be enough to cover the substantial cost of your accommodation.
With this type of cover, you may be able to receive a benefit payment for each full 12-hour period you're delayed, as long as you eventually go on the trip. If a major delay of over 24 hours forces you to abandon your holiday, where the delay has been caused by strike action, poor weather or mechanical failure, you may receive a payment for your unused travel and accommodation expenses up to the amount in our policy wording.
You'll need to read your individual policy wording, but some insurance companies may decline a claim as a result of natural disasters – for example, if volcanic ash causes your flight to be delayed or cancelled.
InsureandGo customers have rated our customer service on average / 100 based on reviews.