This action might not be possible to undo. Are you sure you want to continue?

I.M.YAGLOM

AN UNUSUAL

ALGEBRA

Mir Publishers. Moscow

ПОПУЛЯРНЫЕ ЛЕКЦИИ ПО МАТЕМАТИКЕ

II. М.

Яглом

НЕОБЫКНОВЕННАЯ

АЛГЕБРА

И З Д А Т Е Л Ь С Т В О « Н А У К А » МОСКВА

L I T T L E MATHEMATICS LIBRARY

I.M.Ya^lom

AN UNUSUAL

ALGEBRA

Translated

from

the

Russian

by

1. G .

MIR

Volosova

P U B L I S H E R S

\1< ) S ( '.( ) \ V

1978 .F i r s t p u b l i s h e d 1978 Second printing 1984 Ha amAuùcitoM naut.e © E n g l i s h translation. Mir P u b l i s h e r s .

Kizner for the thoroughness and initiative in editing the book. The corresponding parts of the text of the book are marked by one star at the beginning and by two stars at the end. The reader is advised to solve most of the problems. However. — Tr. Gindikin for valuable advice and to F. The bibliography given at the end of the book lists some books which can be of use to the readers who want to study the theory of Boolean algebras more thoroughly. The distinction between the material of the lecture and that of the book is that the latter includes exercises at the end of each section (the most difficult problems in the exercises are marked by an asterisk). 1 ) *) The present translation incorporates suggestions m a d e b y the author. I. The author is grateful to S. if not all. . in the second reading of the book it is advisable to study Sec. 7 since it contains some material important for practical applications of the theory of Boolean algebras.Preface The present book is based on the lecture given by the author to senior pupils in Moscow on the 20th of April of 1966. G. The book contains some optional material (in particular. because only after the problems have been solved can the reader be sure that he understands the subject matter of the book. Sec. 7 and Appendix which are starred in the table of contents) that can be omitted in the first reading of the book. At the end of the book are placed answers and hints to some of the problems.

"Laws of Thought". B o o l e a n Algebra 3. N o r m e d B o o l e a n Algebras A p p e n d i x * . Further E x a m p l e s of A p p l i c a t i o n of R u l e s for D e d u c t i o n . B o o l e a n E q u a l i t i e s and I n e q u a l i t i e s 4. Implication 7* 1 ). P r o p o s i t i o n a l Algebra 5. S e t s and Propositions. P r o p o s i t i o n s and S w i t c h i n g Circuits 8.Contents Preface 5 1. Further Properties of B o o l e a n Algebras. Principle of D u a l i t y . D e f i n i t i o n of a B o o l e a n Algebra Answers and Hints 7 23 37 54 63 B9 89 100 117 120 Bibliography 125 Name Index 126 Subject Index 127 The starred i t e m s indicate those sections w h i c h m a y be o m i t t e d in the first reading of the book. R u l e s for D e d u c t i o n 6. Algebra of N u m b e r s and Algebra of S e t s 2. .

At the beginning the pupils study whole numbers whose understanding causes no difficulties because most pupils are to some extent familiar with these numbers before they start going to school. As to the fractions. this will not prevent x ) In modern m a t h e m a t i c s the n u m b e r s of the t y p e of 1 + 2i are called complex numbers while b y imaginary (or pure imaginary) numbers are m e a n t such numbers as 2i or —~\f 2i (in contrast to t h e m . in the further course of the study of mathematics the pupils come across new and still new "numbers" (such as fractional numbers. but yet at every stage of the extension of the notion of a number they lose some of their illusions. if the reader is not yet familiar with irrational and imaginary numbers. there can be 4V2 apples on the table. irrational numbers etc. for instance. in this case we cannot say that the owner of the books handles them well!) The moment we get used to the fact that a fractional number of objects in a collection can make sense we pass to negative numbers. 7 . By the way. (This would be quite unnatural!) But a thermometer can read —5° and it even makes sense to say that a person has —50 copecks (the latter situation may worry the person but this is of no importance to mathematics!). there cannot of course be 33 1 / 2 boys in a class or 3 x / 4 plates on the table.).1. A whole number gives information on how many objects there are in a given collection. Algebra of Numbers and Algebra of Sets When studying arithmetic and algebra at school pupils deal with numbers of various nature. how many apples there are in a basket or how many pages there are in a book or how many boys there are in a class. such n u m b e r s as 1 or — 3 ' 2 or Y 2 are termed real numbers). there cannot be —3 books on a book shelf. and there can even be 6 1 / 2 books on a book shelf. a film can last for l 3 / 4 hours. Senior pupils study still more "frightening" numbers: first the so-called irrational numbers such as 1^2 and then the imaginary numbers such as 1 + 2i1) (the terms "irrational" and "imaginary" clearly indicate how strange these numbers seemed to the people until they got used to them). When the pupils get used to a new class of numbers they are no longer puzzled by them. (Of course. but at the same time. Of course. However.

If there are 35 pupils in a class and 39 in another class then there are 35 + 39 — 74 pupils in both classes (also see Fig. Rational and Irrational. So it is natural to ask what is the common feature of all these kinds of numbers which allows us to apply the term "number" to all of them. 1 û ô û j ô o i o û i ô ô Û Û I O Ù I Û Û I Û Ù b apples b apples b apples b apples a groups of apples Fig. w e c a n n o t s u b t r a c t the n u m b e r 5 f r o m the n u m b e r 3 and if we k n o w o n l y t h e w h o l e n u m b e r s we c a n n o t d i v i d e the n u m b e r 7 b y the n u m b e r 4. 2 ) B u t n o t s u b t r a c t e d or d i v i d e d : i f . 1961. the number of objects in the union of two collections the first of which contains a objects and the second b objects. N e w York. for i n s t a n c e . this similarity between the various kinds of numbers is conditional: the matter is that although we can perform addition and multiplication of all kinds of numbers these operations themselves have a different sense in different cases. It can easily be noticed that the main common feature of all these kinds of numbers is that all the numbers can be added together and multiplied by each other 2 ). 2 him from reading this book 1 ). x ) A n e l e m e n t a r y r e p r e s e n t a t i o n of v a r i o u s n u m b e r s c a n be f o u n d in t h e b o o k : I._ a*b apples Ù Û ! 0 ÔIO 0 ! 0 Ù ÛÛOlOOOO o o o i û û û û û û ô a apples ' û ù û b apples Fig. when we multiply two positive integers a and b we find the number of objects in a union of a collections each of which contains b obfects. Similarly. 1). For instance. Numbers'. N i v e n . R a n d o m H o u s e . when we add together two positive integers a and b we find. w e are f a m i l i a r o n l y w i t h p o s i t i v e n u m b e r s . However.ab apples j. 8 . Although the concepts of irra tional and imaginary numbers have little in common with the primary idea of a whole number as a quantitative characteristic of a collection of objects we nevertheless speak of them as "numbers".

for instance. for instance. for the numbers of any nature we always have the identities the commutative law tor addition of numbers ') Wo do not discuss in detail irrational and imaginary n u m b e r s here and o n l y note t h a t the complex numbers are added together and m u l t i p l i e d b y each other according to the rules (a + bi) + (c + (a + bi) (c + di) = (a + c) + (6 + d)i and di) = (ac — bd) -f (ad + 6c)i These rules m a y seem strajige to the reader who is not yet familiar with c o m p l e x numbers but they are m u c h simpler than the d e f i n i t i o n s of the sum and of the product of irrational numbers. More precisely. For instance. here we have gone too far: it turns out that there is in fact a great similarity between the operation of addition of the whole numbers and the operation of addition of the fractions. we can draw the following conclusion: the term "number" is applied to numbers of different kinds because they can be added together and multiplied by each other but the operations of addition and multiplication themselves are completely different for different kinds of numbers. However. For instance. c and d are whole numbers). there are 3 classes in each of which there are 36 pupils then there are 3-36 = 108 pupils in all these classes (also see Fig. the definitions of these operations are different but the general properties of the operations are completely similar. the sum and the product of rational numbers (fractions) are defined by the following rules: a . We also know that. 2). c ad-\-bc bd and a c ~b'~d ac ~bd (here a. It is however evident that this interpretation of addition and multiplication applies neither to the operations on fractions nor to the operations on negative numbers. for the signed numbers there exists the rule (—«)•(—6) = ab 1 etc.If. Thus. b. ). y .

if we set the unusual "proportion" addition subtraction multiplication ? then everybody will substitute the word "division" for the interrogation sign even without analysing the meaning of the "proportion". There is a certain kind of analogy between the operations of addition and multiplication which is particularly noticeable because the properties of addition are in many respects similar to the properties of multiplication. It is due to this analogy that so many people often confuse the notion of the (additive) inverse of a number a (which is the number —a whose addition to the given number a results in 0) and the notion of the recip10 . For instance. b and c the identity (a-\-b) c = ac-\-bc the distributive law for multiplication over addition must hold.and ab = ba the commutative law for multiplication of numbers and also the identities (a + b)+c = a + (br>rc) the associative law for addition of numbers and (ab) c = a (be) the associative law for multiplication of numbers Also. for any numbers a. For instance. in all the cases there exist two "special" numbers 0 and 1 such that the addition of the first of them to any number and the multiplication of any number by the second one do not change the original number: for any number a we have a + 0 = a and a -1 = a What has been said accounts for the point of view of modern mathematics according to which the aim of algebra is to study some (different) systems of numbers (and other objects) for which the operations of addition and multiplication are defined so that the above laws and some other laws which will be stated later are fulfilled.

we see much similarity between the properties of an arithmetic progression (which is a sequence of numbers for which the difference between any member and the preceding member is one and the same) and a geometric progression (which is a sequence of numbers for which the ratio of any member to the preceding one is one and the same). By the same reason. this analogy is not complete. But if we replace in this identity multiplication by addition and zero by unity we arrive at the meaningless "equality" a + 1 = 1 which can hold only when a = 0 1 ). from the last identity it follows that a number different from 0 cannot be divided by 0). 3 — 1 = 2. Further.(tïie multiplicative inverse) of a number a (which is the number —whose product by the given number a rocal is equal to 1).b) c = ac + be and interchange addition and multiplication we get the "equality" ab + c = (a e) (b + c) with which nobody of course can agree. I n reality t h i s is not the case: for instance. the number 0 plays a special role not only in the addition but also in the multiplication because we have o-0 = 0 for any number a (in particular. if we take the distributive law (a -(. For instance. (Since we obviously have (a + c) (b + c) = ab + ac + be + c2 = = ab -f c (a + b -f c) it follows that (a + c) (b + c) — ab -f c only when c — 0 or when a + b + c = 1.) There are however some other algebraic systems whose elements are not numbers such that it is also possible to deiine the operations of addition and multiplication for them and the similarity between the addition and the multiplication of these elements is even closer than the similarity *) If the e q u a l i t y a + 1 = 1 were fulfilled for any a then it would be impossible to subtract 1 from a n y number different from 1. However. 11 .

The fact that we have defined a completely new operation and have called it "addition" must not seem strange: it should be remembered that earlier when we passed from numbers of one kind to numbers of another kind we defined the operation of addition in a different way.which are called the elements of the set.. we can consider the set of the pupils in a given class. 15. For instance. 4. Fig. 21. By a set is meant any collection of arbitrary objects. It is clear that the addition of positive numbers and the addition of negative numbers are completely different operations: for instance.. 3 and the set В consists of the points in the area shaded by inclined lines then the set A + В is the whole area shaded in Fig. 18. Similarly. a set В we shall simply mean the union of these sets. 6. 3. the set of points in a square. similarly. 9. 14. 3 the set of even numbers. if A is the set of the boys in a class and В is the set of the girls in that class then A + В is the set of all the pupils in the class. 3. the set of elements in the periodic system.c/d = {ad bc)!bd differs from the addition of whole 12 . . the set of points bounded by a circle. if A is the set of all even positive integers and В is the set of the positive integers divisible by 3 then {2. the sum of the numbers 5 and (—S) is equal to the difference between the (positive) numbers 5 and 8. the set of elephants in India. 16. For instance. the set of grammar mistakes in your composition etc. 20. the addition of fractious performed according to the rule alb + -f.} is the set A + В which consists of both groups of numbers. For instance.between the same operations on numbers. 8. 10. let us consider a very important example of an algebra of sets. 12. If the set A consists of the points belonging to the area shaded by horizontal lines in Fig. It is quite evident that the addition of two sets can be defined in the following way: by the sum A В of a set A and. 22.

therefore. for instance. Let us make the following convention: the set of all the elements under consideration (for instance. the numbers 3 and 5 or the pupils Peter and Mary).numbers: the definition of the addition of the positive integers (see Fig. that is for the addition of sets. Venn 2 ). which means that the commutative law holds for the addition of sets. to fractions: in both cases the operation of addition turned out to be commutative and associative. the corresponding •liagrams (which. Such diagrams are often called Venn's diagrams after the English mathematician John Venn (1834-1923) who used these diagrams in his study of mathematical logic. we have A + В = В + A for any two sets A and B. 13 . do not differ from Venn's diagrams) "t 1 often referred to as Euler's circles. within this square we can mark different points representing some concrete elements of the set (for instance. 1) given on page 8 is inapplicable to the description of the addition of fractions. Euler represented differ1'iit sets of objects by circles in the plane. in principle. It follows that the set (A + B) -f С (or. the set of all whole numbers or the set of all p upils in a school) will be represented as a square. As is clearly seen from Fig. Further. To facilitate the analysis it is convenient to consider special diagrams demonstrating operations on sets. Euler 1 ) used such diagrams much earlier than J. Now let us check whether these laws remain valid for the new operation of "addition". a famous Swiss mathematician who spent most of his life in Russia and died in St. The usage of one and the same term "addition" in all the cases was accounted for by the fact that the general laws for the operation of iddition of whole numbers remained valid when we passed. In this representation the sets consisting of some of the elements of the given set (for instance the set of even numbers or the set of excellent pupils) are represented by some parts of that square. it is obvious that for any sets А. It would be more precise to call them Euler's diagrams because L. 2 ) In his studies in mathematical logic L. 3. В and С there always holds the identity (A + В) + С = A + (В + C) This means that the addition of sets obeys the associative law. Petersburg. 1 ) Leonard Euler (1707-1783). which is the same.

4 where the set A -f. 24. that is the intersection of these sets (also called the meet of A and В). It is quite clear that the multiplication of sets defined in this way obeys the commutative law.Fig. В and С (see Fig. For instance. 4 Fig.} This set consists of all positive integers divisible by 6. . that is for any two sets A and В we have AB = BA (see the same Fig. Now let us agree that by the product А В of two sets A and В will be meant their common part. If the set A consists of the points lying in the area shaded in Fig. .В -f С coincides with the whole area shaded in this figure). . 5. 5 the set A + (B -f. the set A + В + С is nothing but the union of all the three sets A. it is also obvious that "the set of the chess-players who can swim" and "the set of the swimmers 14 . if A is the set of the chess-players in your class and В is the set of the swimmers in your class then А В is the set of those chess-players who can also swim. 18. 5 by horizontal lines and the set В consists of the points in the area shaded by vertical lines then the set AB is the area in the figure which is cross-hatched. 12. if A is the set of the positive integers and В is the set of numbers divisible by 3 then the set А В is {6.C)) can simply be denoted as A + В + С without using parentheses.

A remarkable fact is that for any three sets A. that is for any three sets A. 15 . Then AB is the set of integers divisible by 6 and (AS)C is the set of integers divisible both by 6 and 5.' if. for instance. ВС is the set of integers divisible by 15 and A(BC) is the set of even integers divisible by 15. that is the set of those pupils who can play chess or draughts or both. В and С (in Fig. В the set of integers divisible by 3 and С the set of integers divisible by 5. 6 the set ABC is covered by the network of the three families of hatching lines 1 ). But it is quite clear that exactly the same set can be obtained if we form the union AC + ВС of the set А С of the chess-players Here is one more example demonstrating the associative law for the product of sets. The set (A -(. On the other hand.who can play chess" coincide: this is simply one and the same set). we see that А (ВС) coincides with the set (AB)C of all integers divisible by 30. Further. which is the same.В) С can be obtained from the set A + В if we choose from the latter only those pupils who can swim. the set ABC is the common part (the intersection) of the three sets A. that is divisible by 30. Let A be the set of integers divisible by 2. Indeed. A is the set of the chess-players in your class and В is the set of the pupils who can play draughts while С is the set of the swimmers then the set A + В is the union of the set of the chess-players and the set of the pupils who can play draughts. it is quite evident that the associative law also holds for the multiplication of sets. hence. the set А (ВС) simply as ABC without using parentheses. В and С there also holds the distributive law (A + В) С = AC + ВС which means that intersection distributes over union. В and С we have (AB) С = А (ВС) The associative law allows us to denote the set (AB)C or.

Indeed. But it is in fact by far not senseless. If we did so this would resemble the exclusion of the number 0 from the number system: a "collection" containing zero elements is also "empty" and it may seem senseless to speak of the "number" of elements contained in such a collection. if this set (we shall denote it 0) is added to an arbitrary set the latter must not change and therefore the set О must contain no elements at all. One may think that since the set О is empty and contains no elements there is no need to take it into account. 7. the set А С + ВС in the figure coincides with the whole shaded area.a. The verbal explanation of the distributive law is rather lengthy. Thus. it is quite meaningful.(b) Га) Fig. 7. In Fig. moreover. If we did not introduce the number 0 it would be impossible 16 .b the sets AC and ВС are shaded by lines with different inclination. In Fig. 7 who can swim and the set ВС of the pupils who can play draughts and can swim. О is an empty set (it is also referred to as a void or null set). Buttt would be in fact quite unreasonable to exclude the empty set from the consideration. It is easy to understand which "set" plays the role of "zero" in the "algebra of sets". 7. But it is clearly seen that the area AC + ВС in Fig.a the set A + В is shaded by horizontal lines and the set С by vertical lines so that the set (A + В) С is covered by a network of hatching lines. 7.b does not differ from the area {A + В) С covered by cross-hatching in Fig. To explain this law it is also possible to use the graphical demonstration.

It is quite clear that if О is an empty set then we have A + О = A for any set A . it would be impossible to speak of "the set of the pupils in a class whose name is Peter" because this set may not exist at all. 8 impossible without the number zero. the intersection of the sets A and В shown in Fig.(о subtract any number from any other number (because. It is also evident that for any set A we always have AO — О because the intersection of an arbitrary set A and the set О (which contains no elements) must be empty. the intersection of the set of excellent pupils in your class and the set of elephants is also empty. I lie intersection of the set of the girls in your class and the set of all those pupils whose height exceeds 2. -420 17 . (For instance. That is why the introduction of the number zero is considered one of the most remarkable events in the history of the development of arithmetic. Similarly.) The last identity is known as one of the intersection laws (the other intersection law will be presented later). eight ones and no tens! There are many other important tilings which would be Fig. Analogously. Without having the number 0 at our disposal it would be very difficult to write the number 108 in the decimal number system because this number contains one hundred. If we did not have the notion of an "empty" set it would be even impossible to mention some sets: for instance. for instance. 8 is empty. the difference 3—3 would be equal to no number in this case).5 m is empty. that is it may turn out to be an empty set. if we did not introduce the notion of an empty set О it would be impossible to speak of the product (the intersection) of any two sets: for instance.

For instance. for instance. as the set / we can take the set of all the pupils of a given school or class or the set of all positive integers or the set of all the points of 18 . if we limit ourselves to the sets of pupils of one definite school or of one definite class (such a set A may be the set of excellent pupils and another set В may be the set of the chess-players). 3-8. by / we shall always mean some underlying basic set containing all the objects admissible in a particular problem or discussion. the set of the even positive integers and В can be the set of prime numbers which have 110 divisors except themselves and unity). we can limit ourselves to the positive integers (then A can be.Fig.) Thus. (We remind the reader that when we introduced Venn's diagrams on page 13 we stipulated the existence of such a "set of all the elements under consideration". 9 Now we proceed to a more complicated question concerning a set playing the role analogous to that of the number 1 in the system of numbers. We can also consider the sets of points forming various geometrical figures lying within a definite square such as those represented in Figs. From this requirement it follows that the set I must contain all the elements of all the sets A\ It is clear however that such a set can only exist if we limit ourselves to those sets whose elements are taken from a definite store of "objects": for instance. Similarly.This set (we shall denote it as I) must be such that the product (that is the intersection) of the set I and any set A coincides with A.

let.a square (Fig. As has been shown. for instance. the situation is quite different: in this case we always have A + I = I Indeed. В and C) the equality AB + С = (A + С) (В + С) expressing the second distributive law of set theory (this is the distributive law for addition over multiplication). almost all basic laws which are known for numbers also hold for the algebra of sets but the algebra of sets also has some other completely different laws which may seem strange when they are first encountered. Further. For instance. by definition. Indeed. 9). A be again the set of the chess-players. But in the algebra of sets the situation is reverse: in this case we always have (for any sets A. Thus. in the general case the rule obtained from the equality a -0 = 0 by replacing multiplication by addition and zero by unity does not hold for numbers: for almost all numbers a we have a -f 1 Ф 1. if we take the distributive law (a + b) с = — ас be which holds for numbers and interchange addition and multiplication in it we arrive at the meaningless "equality" ab + с = (a + c) (b + c) which turns out to be wrong for numbers in almost all cases. as was already mentioned. In "algebra of sets" the set / is referred to as the universal sel. the set / contains all the objects under consideration and therefore it cannot be enlarged: when we add an arbitrary set A (this set A must of course belong to the class of sets we deal with) to the universal set I we always obtain the same set I. As to the algebra of sets. В the set of the pupils who play draughts and С the set of the 19 . we see that the operation laws for the "algebra of sets" we have constructed are in many respects similar to the laws of elementary algebra dealing with numbers but at the same time the former laws do not completely coincide with the latter laws. It is evident that for any "smaller" set A (and even for the set A coinciding with /) we have the second intersection law AI = A The last identity resembles the well-known arithmetic equality defining the number unity.

In Fig. which means that this intersection coincides with the set A B + C. the whole shaded area in the figure represents the set A B + C. obviously.a the intersection А В (of the sets A and B) and the set С are shaded by hatching lines with different inclinations. the intersection А В of the sets A and В consists of all the pupils who can play both chess and draughts and the union A B -f. which proves the second distributive law.swimmers in your class. 10 20 . 10. But it is readily seen that the area covered by the network of horizontal and vertical lines in Fig. Then. the unions A + С and В + С of the sets A and С and of the sets В and С respectively consist of the pupils who can play chess or can swim or both and of the pupils who can play draughts or can swim or both. can play chess. This verbal explanation may seem too lengthy and therefore we shall also present the graphical demonstration of the second distributive law of the set theory. 10.6 exactly coincides with the whole area shaded in Fig. draughts and can swim). On the other hand. In Fig. the intersection (A + С) (В + C) of these two unions is covered by the "network" of hatching lines. fa) гь) Fig. It is clear that the intersection {A -f С) {В + С) of these two unions includes all the pupils who can swim and also those pupils who cannot swim but can play both chess and draughts.a. 10.6 the union A + С of the sets A and С is shaded by horizontal lines and the union В -} С of the sets В and С is shaded by vertical lines. 10. perhaps.С of the sets AB and С consists of all the pupils who can play both chess and draughts or can swim (or.

However. but in a completely different way: the union of sets A and В is denoted as A U В and the intersection of these sets as А П B. But it is nevertheless expedient to write down here the basic laws of set algebra using the standard settheoretic notation: A[} B = B \) A and A ft B = B A the c o m m u t a t i v e l a w s (A U В) и c = A (J {В и С) and (А П В) П С = А Г) (В Г) С) the associative laws 21 . l ) It is this distinction between the laws of algebra of sets and the laws of algebra of numbers that accounts for the fact that in many books the addition and the multiplication of sets (that is the operations of forming the union and tne intersection of sets) are denoted not by the usual symbols + and -.and •. when we pass from whole numbers to fractions or to signed numbers supplied with the signs "plus" or "minus"). In other words. In the present book we shall deal not only with algebra of sets but also with some other algebraic systems in which the operations of "addition" and "multiplication" obey the same laws as in algebra of sets. when we pass from numbers to sets we encounter a completely different situation: it turns out t h a t there are a number of laws of algebra of numbers which are inapplicable to the algebra of sets 1 ). therefore for our aims it is natural to use the ordinary symbols -f. The fact that the general laws of algebra retain one and the same form for all kinds of numbers is very important: this makes i t possible to use our experience acquired in studying numbers of one kind when we pass to another kind of numbers (for instance. in all such cases related to algebra of numbers we have to learn some new facts and laws but the facts learned previously remain valid.In conclusion we present two more laws of algebra of sets which essentially differ from what is known from elementary algebra dealing with numbers. It is easy to understand that for any set A the union of this set and another replica of the same set and also the intersection of the set A with itself coincide with the original set A: A + A = A and AA = A These two identities are called idempotent laws (the first of them is the idempotent law for addition and the second is the idempotent law for multiplication). The usage of the symbols + and • makes it possible to indicate in a visual way the similarity between elementary algebra and the new algebraic systems. instead of the symbols [J and f| used in set theory.

.. Another peculiarity of algebra of sets is the way in which the "parentheses are opened" using the second distributive law (A + C) (B + C) = AB -f. the idempotent laws A + A = A and + D AA = A are completely new to us... . for instance. in algebra of sets we have (A +D)(B + D) (C + D) = [{A + D) (В +/))] (С + D) = = (AB + D) (C + D) = (AB) С + D = ABC Finally. that is why. We first of all mention the relation A + I = I which indicates a significant distinction between the universal set / and the number 1. we can express the meaning of these laws verbally by saying that the algebra of sets involves neither exponents nor coefficients.С For instance..+A = A • n times and A-A .(А П С) и (В n С) and (A f] В) U С = = (А и С) П (В и С) the distributive laws A U the А ^ idempotent A and Аlaws Г\ Л = А 22 . For in the algebra of sets we have A + A+.A = A n times for any A and n. we have (A +B)(B + C) (C'+A) = ABC + = AAB = (ABC + ABC) A\j 0 = A ACC + + BBC + ABB + AAC + + ВС С + ABC = + (AB + AB) + and A [] 1 = A A U / = / and A f\ 0 = 0 the properties of the empty set О and of the universal set 1 (А и В) n с .Let us enumerate these new laws.

A (A + В) = A 3. us write down all the general laws of algebra of sets we have established: A+ B= B+ A and AB = В A Uk* C o m m u t a t i v e l a w s . AB + A = A 4. (A + В) (В + С) (C + D) = AC + ВС + 8. A (A + I) {В + 0)= AB 6. (A + В + С) (В + С + D) (С + D + А) = AB + AD + BD + С Example: A (A + 6) (В + С) = + ВС СA BD + В - A[(A + C) X the a s s o c i a t i v i t y of m u l t i p l i c a t i o n X (B -f C)] = A(AB + C) the second distributive law = (AB)A-{~CA the first d i s t r i b u t i v e law = (AB + C)A = the e o m m u t a t i v i t y of m u l t i p l i c a t i o n = (AA)B + AC = the e o m m u t a t i v i t y and the a s s o c i a t i v i t y of multiplication = AB + AC t h e idempotent l a w for m u l t i p l i c a t i o n 2.+ (AC + AC) + (ВС + ВС) = + = ABC + AB AC + ВС (cï. A (A + С) (B + C) = AB + AC 5. (A+B) (A + 1) + (A + В) (В + О) = A 9. Boolean Algebra Let. Exercises 1'rove the following equalities in which capital letters denote sets (the letter О always denotes the empty set and (lie letter I denotes the universal set): 1. Exercise 6 below). (A + В) (В + С) (C + A) = AB + ВС + 7. (A + B)(B + I)(A +0) = A 10. (A -f В) (A + С) (B + D) (C + D) = AD 2.

tlie set algebra contains two "special" elements (sets) О and / such that A + О = A and AI = A A + I = / and AO — О Those laws (identities) are similar to the ordinary laws of the algebra of numbers but they do not coincide completely with the latter. All these "algebras" differ from one another in the numbers on which the operations are performed and in the definitions of the operations of addition and multiplication but the general properties of the operations remain the same in all the cases. what is the situation in the unusual algebra of sets? In other words. we can consider the "algebra of positive integers".{A + B) + C ^ A + {B + C) and (AB)C = A ( B C ) the associative laws (A + В) С = AC + ВС and AB-\-C — (A -f С) (В -f. In this connection it now appears natural to ask.C) the distributive laws A + A = A and AA = A the idempotent laws Besides. there are a variety of algebras 24 . the algebra of sets is. of course. the "algebra of complex numbers" (that is of the real and the imaginary numbers) and so on. the "algebra of signed numbers" (that is of the positive and non-positive numbers) and also the "algebra of real numbers" (that is of the rational and irrational numbers). the "algebra of rational numbers" (by the rational numbers are meant both the integers and the fractions). First of all. also an "algebra" but it is new to us and rather unusual. Now it should be noted t h a t we have in fact not one ordinary algebra of numbers but m a n y such "algebras": indeed. is there only one realization of such an algebra or is there also a number of these "algebras" which differ from one another in the elements on which the operations are performed and in the definitions of the operations (as before we shall call these operations a d d i t i o n ' a n d multiplication) b u t at the same time are similar in the basic properties of the operations? The reader can undoubtedly anticipate the answer to the question: there are in fact many algebras similar to the algebra of sets (in these algebras the same general operation rules hold).

Some definitions given below may seem strange because they are new. Later the pupils are taught fractions and are told that the sum and the product of fractions alb and dd are defined according to the rules given on page 9. . respectively. 'or the sake of simplicity. . and new things always seem strange when they are first encountered. Before proceeding to these examples the reader should realize that to define the operations of addition and multiplication in a set of objects (elements) a. Now we proceed to the examples. the "algebra of sets of books in a library" and the "algebra of sets of stars in the sky". the definitions must not be discussed when they are consistent. a completely different algebra!). below we shall discuss some examples of this kind. b. Algebra of two numbers (elements). we define the sum a -f b as being the element с and. the "algebra of sets of numbers" (these numbers can be of different kinds). the sum and the product of a and b: с — a -f b and d = ab These rules must be chosen so that all the laws characteristic of the algebra of sets are fulfilled. But after these rules have been chosen we have no right to ask. For instance. we shall call these elements 25 . 1 on page 8) and t h a t the product ab is equal to the number of objects in the union of a collections each of which contains b objects (Fig. means to indicate some rules according to which we attribute to any two objects a and b two other objects с and d called. these new rules and definitions may of course seem strange to the pupils until they get used to them. as is known. Let us assume that the algebra consists of only two elements. t h a t is when they satisfy definite general logical requirements. . 2 on page 8). the "algebra of sets of animals in a zoo" (this is. of course.of sets themselves: for instance. pupils are first told that the sum of two numbers a and b is the number of objects in the union of a collection containing a objects and a collection of b objects (see Fig. why the sum of a and b is equal to c? Indeed. Example 1. the "algebra of sets of points lying within a square" (see Figs. But there are also completely different examples of algebras having similar properties. 3-10). we can consider the "algebra of sets of pupils in your class".

"numbers" and denote them by the familiar symbols 0 and 1 (but in the case under consideration these symbols have a completely new meaning). we shall define it in an "almost ordinary way" with the only distinction from the ordinary arithmetic that now the sum 1 + 1 is not equal to 2 (this "algebra of two numbers" does not contain the number 2 at all!) but is equal to 1. that is by means of the following "multiplication table": 0 1 • 0 1 0 0 0 1 As to the addition.b) -f. the "addition table" in this new algebra has the form 0 i + 0 1 1 1 0 1 It is obvious that in the algebra thus defined both commutative laws hold: a + b = b + a and ab = ba for any a and b It can readily be verified that the associative laws also hold for this algebra: [a -}. It is a little more difficult 26 . We shall deline the multiplication of these numbers in exactly the same way as in ordinary arithmetic. b and с There is no need to verify the associative law for multiplication because the "new" multiplication completely coincides with the multiplication of numbers for which. as we know.(b c) and (ab) с = a (be) for any a. It is also clearly seen that the idempotent laws also hold for this algebra: a + a —a and aa = a for any a that is for a = 0 and for a = 1 (now we see why it was necessary to put 1 + 1 = 1!). Thus.с = a -f. the associative law holds.

b = b + a and ab = ba for any a and b (a + b) -f с = a + (b + c) and (ab) с = a (be) for any a. Suppose that the elements of the algebra are four "numbers" which we shall denote as the digits 0 and 1 and the letters p and q. l = 1 and (1-1) + (1-1) = 1 + 1 = 1 (1-1) + 1 = 1 + 1 = 1 and (1 + 1)-(1 + 1) = M = 1 Finally. a -—. Algebra of four numbers (elements). the rules concerning the "special" elements О and I will also hold.p.a = a and aa — a for any a (that is for a = 0. This is a slightly more complicated example of the same kind.0 = 0 Example 2. l = l . in this case we also have a -j.to verify the distributive laws: (a + b) с = ас + be and ab + с = (a + c) (b + c) for any a. if we agree that the number 0 plays the role of the element 0 and the number 1 plays the role of the element I. b and с ta -L Ь) с — ас -f. b and с -f. a — q and a = 1) 27 . The addition and the multiplication in this algebra will be defined with the aid of the following tables: + 0 p 1 1 0 p 4 1 и p я 1 p p 1 1 4 1 4 1 1 1 1 1 0 p q 1 0 0 0 0 0 p 0 p 0 q 0 0 <7 p я l 0 p q l As can readily be checked by means of the direct computation.be and ab \-c -= (a 4 c) (b + c) a for any a. b and с For instance. in this algebra of two elements we have (1 l ) . that is we shall always have (for a = 0 and for a = 1) a + 0 = a and a-1 = a\ a + 1 = 1 and a .

. v. z] and the minimum number among these 28 . 1/2. To avoid the confusion between the ordinary addition aild multiplication and the new operations we shall even denote the latter by the new symbols ® (addition) and ® (multiplication). By the product x ® у of two numbers x and у we shall mean the least (the minimum) of these numbers in case x Ф у and any of them in case x = y. let us agree that the elements of the algebra are some (or. let us assume that the sum i f f i у of two numbers x and у is equal to the greatest (the maximum) of these numbers in case x Ф у and to any of them in case x = y. all) numbers x satisfying the condition 0 x ^ 1. 2 is often denoted in mathematics as max Iu. v. As to the operations of addition and multiplication.3 1 3 1 2 2 3 1 \i 1 1 1 3 1 2 2 3 1 0 0 0 0 1 I The maximum number among two or several numbers u. the numbers 0 and 1 play the roles of the elements О and I of the algebra of sets respectively because for any a we have a + 0 = a and a . For instance. .. . for instance. 1/3. we shall define them in a completely new manner. if the elements of the algebra are the numbers 0. Namely. Algebra of maxima and minima.0 = 0 Example 3. .Besides. that is numbers lying between 0 and 1 and the numbers 0 and 1 themselves. As the elements of the algebra let us take the numbers contained in an arbitrary (bounded) number set. perhaps. . 2/3 and 1 then the "addition table" and the "multiplication table" for these numbers have the form 1 3 1 2 2 3 2 2 3 3 1 2 2 3 1 3 1 3 1 2 2 3 1 2 1 2 1 2 2 3 2 3 2 3 2 3 2 3 1 1 1 1 1 Ф 0 1 3 i 0 0 i 1 ® 0 1 3 1 2 2 3 1 0 0 0 0 0 0 1 3 1 3 1 3 1 3 1 3 1 2 1 2 1 о 1 3 1 2 2 3 2 .1 = a\ a 1 = 1 and a . ..

Х9у

<У

АГ®У

—О—

X

Oh

У

Fig. i l

**numbers as min [и, v, . . ., zj. Thus, in this "algebra of
**

maxima and minima", we have, by definition,

х ф y = max [x, y]

and

x <8> y = min [x, y 1

**We can also agree to represent numbers as points on the
**

number line. Then the numbers x satisfying the condition

0 ^ x ^ 1 are represented by the points of a horizontal

line segment of length 1, the sum x ф y of two numbers

x and y is represented by the rightmost of the points x and

y and their product x ® y is represented by the leftmost point

(Fig. 11).

It is clear that the new operations of addition and multiplication we have defined satisfy the commutative laws:

x Ф у —у Ф x

and

x <g> y = y <8> x

**The associative laws
**

(x Ф у) Ф z = x ф (у Ф z) and

(x <g) i/) <S> z = .r ® (?/ ®

z)

**also obviously hold because the number (x ® у) ф z (or,
**

wiiich is the same, the number x Ф (у Ф z)) which can

simply be denoted as x Ф у Ф z without the parentheses

is nothing but max [x, y, z] (Fig. 12) while the number

(x ® y) ® z (or, which is the same, x <g> (у ® z)) which

can simply be written as x <8> y ® z without the parentheses is nothing but min [x, y, z] (see the same Fig. 12).

It is also quite clear that the idempotent laws also

hold here:

x Ф x = max [x, x] — x and x <S> x = min [x, x] = x

Finally, let us check the validity of the distributive laws

(x Ф y) ® z = (x О z) Ф (y (8) z)

01

о

y 97

О

«®у-- y Ф / : * ® y ®Z

-OУ

7

Fig. 12

29

**(x®y)®z=(x®z)@(y®z)
**

y®Z

x®z

о h-о

о

у

Z

y

О Н /

X

y®Z

О I—о

у

(а)

**(x®y)®z=(x®z)g)(y®z)
**

x©y=x®z

о

О

х

Z

11

(Ь)

Fig. 13

and

H } ) 0 z

=

(iez)»(!/®z)

**It is evident that the number
**

(x © y) ® z = min {max [x, y], z}

is equal to z if at least one of the numbers x and у is greater

than z and is equal to the greatest of these numbers if both

x and у are less than z (Fig. 13,a and b). It is also clear that

the number

(x <8> z) © (у ® z) = max {min [x, z], min [y, z]}

is equal to the same value (see again Fig. 13). Analogously,

the number

(x <8> y) © z = max {min [x, y], z}

is equal to z if at least one of the numbers x and у is less than z

and is equal to the minimum of the numbers x and у if

both x and у exceed z (Fig. 14,a and b). As is seen from the

same Fig. 14, the number

(x © z) <8> (у © z) = min {max [x, z], max [y, z]}

is also equal to the same value.

Now to make sure that all the laws of the algebra of sets

hold for the n:w unusual algebra of maxima and minima

it is sufficient to note that the role of the elements О and I

of the algebra of sets is played by the smallest number 0

among all the numbers under consideration and by the greatest number 1 respectively. Indeed, for any number x satis( х ® у ; ф z=(x®zmy@z)

x®z = y®z

x®y

oi—o-!.

у

х

о

Z

ii

oi—о

(a)

о

X

(b)

Fig. 14

30

Z

**(x®y)®z=(x®z)®(y®z)
**

x®y=x®z

У®г

о

y

II

**the condition 0 ^ x ^ 1 we always have
**

x © 0 = max [x, 0] = x

and x ® 1 = min [x, 1] = x

x Ф 1 — max [x, 1] = 1 and x ® 0 = min [x, 0] = 0

lying

**Example 4. Algebra of least common multiples and greatest common divisors. Let N be an arbitrary integer. As the
**

elements of the new algebra we shall take all the possible

divisors of the number N. For instance, if N = 210 =

= 2 -3 -5 -7 then the elements of the algebra in question are

the numbers 1, 2, 3, 5, 6, 7, 10, 14, 15, 21, 30, 35, 42,

70, 105 and 210. In this example we shall define the addition and the multiplication of the numbers in a completely

new way: by the sum m © n of two numbers m and n we

shall mean their least common multiple (that is the smallest

positive integer which is divisible by both numbers m and n)

and as the product m ® ж of the numbers m and n we shall

take their greatest common divisor (that is the greatest integer

by which both m and n are divisible). For instance, if N = 6

(in this case the algebra contains only the four numbers

1 , 2 , 3 and 6) the addition and the multiplication of the

elements of the algebra are specified by the following tables:

1 2 3 6

e

i

2

3

6

1

2

3

6

2

2

6

6

3

6

3

6

6

g

<8>

and

6

6

1

2

3

6

1 2 3 6

1

1

1

1

1

2

1

2

1

1

3

3

1

2

3

6

**In "higher arithmetic" (number theory) the least common
**

multiple of two or several numbers m, n, . . ., s is often

denoted as [m, n, . . ., s] and the greatest comtaon divisor

of the same numbers is denoted as (m, n, . . ., s). Thus, for

this algebra we have, by definition,

m Ф n = \m, n\

and

m ® n = (m, n)

**For instance, if the algebra contains the numbers 10 and 15
**

! lien

Ю e 15 = [10, 151 = 30

and

10 ® 15 = (10, 15) = 5

**It is evident that in this algebra we always have
**

m ф n = n ф m

and

m <8> n -= n <8> m

31

we have (m © re) © p = m © (re © p) = [to. re. p] (we can denote this number simply as m © re © p without the parentheses) and also (m ® re) ® p = m ® (re ® p) = ( m . it contains those and only those prime factors which are contained in p or in both numbers m and re or in all the three numbers p. 7] = 35 Analogously. p) (the latter number can simply be denoted as m ® n ® p). re. re). The idempotent laws m © m = [m. 105) = 35 and (10 ® 105) © (14 ® 105) = [(10. 105). p] is the least common multiple of the number p and the greatest common divisor of the numbers m and re. p)] and therefore we always have (m © re) ® p = (m ® p) + (re <8> p) For instance. n]. p) is nothing but the greatest common divisor of the number p and the least common multiple of the numbers m and n (think carefully about this expression!). m) — m are also quite evident. The verification of the distributive laws is a little more lengthy. This number contains those and only those prime factors which are contained in p and are simultaneously contained in at least one of the numbers m and n. m] = m and m ® m = (m.Further. the number (m ® n) © p = [(m. if we limit ourselves to the divisors of the number 210 then we have (10 © 14) ® 105 = (110. (14. But it is evident that these (and only these) prime factors are also contained in the number (m ® p) © (n <g> p) = [(m. in 32 . (n. The number (m © re) ® p = ([m. 105)] = = [5. p). 105) = (70. 14].

**;i!i(i п. But exactly the same factors are contained in the
**

number

(m фр) <8> (n ® p) = ([m, p], [n, p])

,IH1 therefore we always have

(m ® n) © p = (m Ф p) <S> {n ф p)

For instance,

(10 ® 14) ф 105 = [(10, 14), 105] = [2, 105] = 210

and

(10 e 105) ® (14 0 105) = ([10, 105], [14, 105]) ==

= (210, 210) = 210

Finally, in this case the roles of the elements О and 1

of the algebra of sets are played by the smallest number 1

among the collection of numbers we deal with and by the

greatest number N respectively. Indeed, this algebra only

contains the divisors of the number N and we obviously have

m Ф 1 = [m, 1] = m

m ф N = [m, N] = N

and

and

m ® N = (m, N) = m

m ® 1 = (m, 1) = 1

**We thus see t h a t for this algebra all the laws of the algebra
**

of sets are fulfilled.

llence, there are different systems of "objects" (of elements

of the algebra in question) for which it is possible to define

the operations of addition and multiplication

satisfying all

the known rules fulfilled in the algebra of sets: the two commutative laws, the two associative laws, the two distributive laws, the two idempotent laws and the four rules specifying the properties of the "special" elements whose role in

these algebras is close to that of zero and unity. Later on we

f-hall consider two more important and interesting examples

of such algebras.

Now we proceed to the study of the general properties

«>! all such algebras and our immediate aim is to give a general

"name to all of these algebras. Since algebras with such

grange properties were first considered by the distinguished

English mathematician George Boole who lived iu the

1'tth century, all the algebras of this kind are called Boolean

algebras1). For the basic operations on the elements of a Boo!

**\ Л rigorous definition of a Boolean algebra is stated in Appendix
**

117.

33

G E O R G E BOOLE

(1815-1864)

lean algebra we shall retain the terms "addition" and "multiplication" (but the reader should bear in mind that in

the general case these operations differ from the ordinary

addition and multiplication of numbers!). We shall also

sometimes refer to these operations as the Boolean addition

and the Boolean

multiplication.

In his "Laws of Thought" which first appeared in 1854,

that is more than a hundred years ago, G. Boole investigated

in detail this unusual algebra. The title of G. Boole's work

may first seem strange; however, after the reader has studied

this book it will become clear what is the relationship between unusual algebras considered in the book and the laws

of human thought. At present we only note that it is this

relationship between the Boolean algebras and the "laws of

thought" that accounts for the fact that the work of G. Boole

to which his contemporaries paid little attention is of such

great interest nowadays. In recent years the book by G. Boole

has been many times republished and translated into various

languages.

Exercises

1. Verify directly that for all triples of elements of the

"Boolean algebra containing two numbers" (see Example

1 on page 25) there hold both distributive laws.

2. Check the validity of both distributive laws for several

triples of elements of the "Boolean algebra with four elements" (Example 2 page 27).

3. (a) Let there be a family in which there is only one

schoolboy. Then all the "sets of the schoolboys in the family"

are the following: the set / containing one schoolboy and

the set О containing no schoolboys (the empty set). Compile

the "addition table" and the "multiplication table" for the

"algebra of sets of schoolboys in the family" (this algebra

consists of only two elements О and I) and compare these

tables with the tables on page 26. Proceeding from this

comparison show that in the "algebra of two numbers"

considered in Example 1 of this section all the laws of the

Boolean algebra hold.

(b) Let there be a family in which there are two schoolchildren Peter and Mary who go to school. Then the "algebra

of sets of schoolchildren in the family" consists of four elements: the set / containing both schoolchildren, the two

3

35

8) = [(12. 8)] and [(12. . [30. 8] = ([12. . i]} = min{max[-i. Verify the validity of the laws of the Boolean algebra for this algebra of three elements.. 30). -j and 1 in which x © y = max [x. 4. (b) Compile the "addition table" and the "multiplication table" for the algebra of the divisors of the number 12 in which m Ф n = [m. h phh Then any two divisors m and n of this number can be written as where 36 m = pVp? • • • Plh 0 < а 1 < Л 1 . T]> T } = ([12. y] and x <8> y = min \x. I ] . m a x [ { . Let the decomposition of a (positive integral) number N into prime factors be of the form •r At N = рТрг Аг A . ±]} and m a x { m i n (b) [ y . 8). Proceeding from this comparison show that in the "algebra of four elements" considered in Example 2 of this section there hold all the laws of the Boolean algebra. 1 ] . 0 < а 2 < Az. 1 ] . 8]) 5. у]. 0 <Cah^Ah .sets P (Peter) and M (Mary) each of which contains one of the two schoolchildren and the empty set 0 . n] and m ® n — (m. = = max{min[i. (a) Compile the "addition table" and the "multiplication tablé" for the Boolean algebra consisting of the three numbers 0. Show that some of the laws of the Boolean algebra are fulfilled for this algebra of the divisors.. Check that (a) m i n { m a x [ 4 . (30. 6*. Compile the "addition table" and the "multiplication table" for this algebra of sets and compare them with the tables on page 27. . 30].. 8]. n). min[i..

Boolean Equalities and Inequalities Let us continue to study Boolean algebras. a2. bh can be equal to zero).. I o n page 23). . . see the exercises to Sec. ah and b1. 3.. in a Boolean algebra there holds the equality A (A + С) (B + C) = AB + AC (which was proved earlier for the algebra of sets.and bi i>2 . We first of all see a complete parallelism between the properties of the Boolean addition and the Boolean multiplication... Further Properties of Boolean Algebras. . W h a t form have in this case the decompositions into prime factors of the numbers [m. n) is a Boolean algebra.. b2. the validity 37 . the similarity between the operations is so close that in every (correct) formula of a Boolean algebra we can interchange the addition and the multiplication: the equality resulting from the interchange remains valid. Principle of Duality. n\ and m (g) n = (m. n] (the least common multiple of the numbers m and n) and of the numbers (m.. For instance. . It should be taken into account t h a t when an equality fulfilled for a Boolean algebra involves the "special" elements 0 and I then the interchange of the Boolean addition and the Boolean multiplication in this equality must be followed by the internange of the elements 0 and I. On interchanging the addition and the multiplication in this equality we obtain A + AC + BC=(A + B)(A + C) • he latter equality is also valid (see page 39). n) (the greatest common divisor of the numbers m and n)l Using these decompositions prove t h a t the set of all the divisors of the number N with the operations m © n = [m. . n = pSpo b h p^ where о<А<Л„ 0<&2<л2. .О<А<Л„ (some of the numbers аг. .. For instance.

of the equality (A + B)(A + / ) + (A + В) (В + 0)= A + В (see Exercise 8 on page 23) implies that the equality {А В + AO) (AB + В I) = AB must also hold. The just stated property of the Boolean algebras which allows us to obtain automatically (that is without proof) from any equality a new one1) is called the Principle of Duality and the formulas which are obtained from each other with the aid of this principle are called dual formulas. if we take the correct equality (A + В) (В + С) (C + A) = AB + ВС + CA (see Exercise 6 on page 23) and interchange the addition and the multiplication in it we obtain the equality AB + ВС + CA = {A + В) (В + С) (С + A) coinciding with the original equality. the idempotent law for addition and the idempotent law for 1 ) The "new" equality obtained from a formula of a Boolean algebra by means of the interchange of the addition and the multiplication and of the elements О and I may sometimes coincide with the original relation. 38 .e. Examples of dual pairs of laws are the commutative law for addition and the commutative law for multiplication. that is the law which is obtained from the former law by interchanging the addition and the multiplication and by interchanging simultaneously the elements О and I. In this case we deal with a self-dual relation and the application of the duality principle does not give us a new formula. The principle of duality follows from the fact that the list of the basic laws of a Boolean algebra (when proving various Boolean relations we can only proceed from these laws) is completely "symmetric". together with every law it also includes another law dual to the former. Similarly. For instance. the associative law for addition and the associative law for multiplication. the application of the principle of duality to the correct equality (A + В) (В + С) (С + D) = AC + ВС + BD (see Exercise 7 on page 23) results in the equality AB + ВС + CD = (A + С) (В + С) (В + D) which only slightly differs from the original relation (it simply turns into the original relation if we interchange the letters В and C). i.

An alternative proof of the principle of duality is connected with a special operation defined in Boolean algebras which transforms every element A of a Boolean algebra into a new element A and under which addition and multiplication are interchanged.AB + AC on page 23). Example. A + AC + BC = A -f. under the "bar" operation the element A goes into the original element A. That is why when we prove an equality by using some basic laws of a Boolean algebra we can similarly prove the dual equality by using the corresponding dual. In other words. this operation possesses the properties 0 = 7 and 1=0 Finally. that is for every element A 39 .(AC + ВС) the associativity of addition = A + {A + B)C = the first distributive law = (.f I = I are dual to the equalities AI = A and AO = О respectively. finally. this operation (we shall refer to it as the "bar" operation) is such that A + B = AB and ÂB = Â + B Further. Similarly.О = A and A .multiplication. the first and the second distributive laws are dual and.A + B)C + A the c o m m u t a t i v i t y of addition = the second distributive law = [(A + B) + A](C + A) the c o m m u t a t i v i t y and the associativ i t y of addition = l(A + A) + B](A + C) = {A + B)(A + C) the idempotent law of addition (cf. the proof of the equality A (A + С) (B + C) = . Let us prove the equality A + AC + ВС = (A + В) (A + C) It can readily be seen that this equality is the dual of the relation A {A + С) {В + С) = AB + AC Indeed.laws. the equalities А Ц.

For instance. if we take the set of all the pupils in your class as the universal set and if A is the set of those pupils who got at least one bad mark then A is the set of those pupils who got no bad marks. the last two equalities expressing the so-called complementation laws can even be taken as the definition of the set A). 15 By A we mean the so-called complement of the set Л wnich is. The definition of the complément. It is also evident that 0 = 1 and 1= 0 Finally. they are also referred to as the De Morgan formulas 40 . 15. by definition. let us prove that in the set algebra there hold the following highly important properties of the "bar" operation : A+B=AB and ÂB = Â + B The last two relations express the so-called laws of dualization. the set containing those and only those elements of the universal set I which are not contained in the set A (see Fig. A of the set A directly implies that It also follows from the definition that A+ A= I and AA = 0 (see Fig. Fig. 15).of a Boolean have algebra we A = (A) = A In the algebra of sets the "bar" operation (this operation makes it possible to form a new element of a Boolean algebra from one given element of the algebra and not from two given elements as in the case of ddition or multiplication) has the following meaning.

sents the set A + B. The horizontal lines in Fig.h hatching lines inclined to the right. t h a t these l s. The comparison of Fig. The whole shaded area in Fig. the cross-hatched area in Fig. 16a and Fig. The first of these relations is also called the De Morgan theorem for union-complement and the second is called tlie De Morgan theorem for intersection-complement.Fig. 166 represents the set A B. a contemporary and associate of George Hoole. 166 the complement A of the set A (with respect to the whole square I) is shaded • it. which proves the first of the De Morgan formulas: 4+7? = Jfl " " the other hand. 16a cover the area representing the set B. the whole shaded area in Fig. 166 show the complement В of the set B. sents the set AB. In Fig.1 ts) are also the complements of each other.English mathematician Augustus De Morgan (1806-1871). 16a represents the set A + В while the cross-hatched area in Fig. 16a repre166 repretwo areas that is АВ = 1 + В 41 . 166 is the complement of the set represented by the whole shaded area in Fig. in Fig. 16 (or iules) after the . 16a the area representing the set A is shaded by hatching lines inclined to the left. the vertical lines in Fig. It is evident. 16a. 166 indicates t h a t the cross-hatched area in Fig.

De Morgan's second rule is verified in an analogous way: ab = a + b. q= p and 1=0 In this case it is also quite clear that a = a for any element a of this algebra. 42 1 4 P 0 g q 0 0 P 0 P 0 1= 0 0 0 0 b can be checked in a similar . * Now let us discuss the meaning of the "bar" operation for the other examples of Boolean algebras considered earlier. the comparison of the "addition table" and the "multiplication table" compiled for the numbers 0 = 1 and 1 = 0 which have the form + 0 1 (I 1 0 1 1 1 and ô=i 1=0 0=1 1=0 1 0 0 0 shows that a + b = ab in all the cases. Further. For the algebra of two elements (Example 1 on page 25) we put 0= 1 and 1= 0 It is quite evident that for any element a of this algebra (that is for a = 0 and for a = 1) we have a = a.which proves the second of the De Morgan formulas. to prove the relation a b = ab it suffices to compare the following two tables: + 0 p <1 l 0 p 4 1 0 p 1 1 p p 1 1 4 1 g l i l l l 0 = 1 p = q q=p 0=1 p=q q=p 1=0 The relation ah = a + manner. As above. p=q. For the algebra of four elements (Example 2 on page 27) we put 0=1.

obviously. 1] (Fig. Finally.x = 1 and xx = 0 do not hold here (cf. what is said in this connection on page 117). we can put x= 1—x In other words. 0=1. 1=0 and x= x In this case the De Morgan rules also obviously hold: x@y~x®y and x ® y = x © y see Figs. y] = max [x. for instance. However. y] and min [x. y] and it is also necessary that the "bar" operation should reverse the order of elements. г/] and x <8> у = min [x. Then. when the elements of the algebra are all the numbers x satisfying the condition 0 ^ x ^ 1 then. \1 17 Now let us consider the algebra of maxima and minima whose elements are numbers x such that 0 ^ x ^ 1 for which the Boolean addition © and the Boolean multiplication <Э are defined as x Ф у = max [x. Therefore. that is it is necessary t h a t the condition x ^ y should imply x ^ y (why?). 17). we can assume t h a t the points x and x are symmetric about the midpoint 1/2 of the closed interval [0. the rules x +. y] For the De Morgan rules to hold in this algebra we must have _ г © y = x ® y and x <g) y — x © y This means that there must be max [x. unfortunately. let us consider the algebra of least common multiples and greatest common divisors whose elements are all 43 . 18a and b). y] = min [x.X 01 о * * 1 о * 2 Fig.

18 the possible divisors of a positive integer N for which the Boolean addition ® and the Boolean multiplication 0 are defined as m. и) where [m. 21) = 3. 6 = 35. 5 = 42. 3 = 70. 10] = 70 and 3 = 70 . 30 = 7.х© у=х®у 01 О У хфу О * * i О * О У л®у 1/ 01—О л О У fa) х®у=л©у * 1 О У О—II * ( b) Fig. it is evident that - N = m m = -rr-— N/rn The De Morgan rules also hold here: rn © n = m 0 n and m 0 n= m © n For instance. 6 © 21 = 35 © 10 = = [35. 35 = 6. 10) = 5 and 42 = 5 and also 6 0 21 = (6. n] and m ® n = (те. n] is the least common multiple of the numbers m and n and (m. For instance. 70 = 3. Let us put — N m— — m for this algebra. 105 = 2. 6 ® 2 1 = 3 5 ® 1 0 = = (35. ri) is their greatest common divisor. 2 = 105. 210 = 1 It is clear that in the general case of an arbitrary number N we have i = N and N = 1 Besides. 10 = 21. 14 = 15. in the case N=210 ered earlier we have consid- 1 = 2 1 0 . © n = [m. in the case N = 210 we have 6 ф 21 = 16. 7 = 30. 42 = 5. 21 = 10. 15 = 14. 211 = 42.

of the De Morgan rules). В and С. The application of the "bar " operation to both members of this equality results in A{A + C) (B + C) = AB + AC However. the equality A (A + С) (В + С) = AB + AC which we have already mentioned. by virtue of the equalities 0 = 1 and 7=0 the transformed (dual) equality involves I instead of О and О instead of I. in the passage to the dual equality we must interchange О and / . 45 . by virtue of the De Morgan rules. * * \'ow suppose that we have an arbitrary relation holding in any Boolean algebra. It should be however borne in mind that if the original equality involves the "special" elements О and / then. for instance. we have A(A + C) (B + C) = [A(A + C)](B + C) = =-A(A + C) + B + C = I + A + C + BC = Â+ÂC + BC and AB + AC = ÂBÂC = (Â + B)(Â+C) Thus. we finally obtain Â + ÂC + BC = (À + B) {Â+ С) Since the last equality is fulfilled for any А . this yields the equality A + AC + ВС = (A + В) (A + C) which is the dual of the original equality. in other words. В and С of the Boolean algebra by the letters А. We see that the principle of duality is a consequence of the properties of the "bar" operation (and first of all.Let the reader prove the De Morgan rules l'or the general case of an arbitrary A' (in this connection also see Exercise 5* on page 52). В and С it remains valid if we simply denote the elements A.

It is obvious that if. since A {A +1) (B + 0) = A {A +1) + ~B + 0 =r-A + and Z+7+ + 5 + 0 = 1 + 4 7 + 5 0 = Л + Ж? + £ / lB=A we can also write the + B relation Â=ÂO + BI = Â+B The last relation (note that A and В are arbitrary in it) is equivalent to the relation A + AO + BI = A + В which can be obtained from the original equality by interchanging addition and multiplication and interchanging simultaneously 0 and I. up till now we have spoken of those "Boolean equalities" which only involve the operations of addition and multiplication. В.* For instance. on applying the "bar" operation to both sides of the equality A (A + I) (B + 0) = AB (see Exercise 5 on page 23) we obtain A(A + I) (B-f-O) = ÂB Now. It turns out t h a t the relation A = A makes it possible to extend the duality principle to equalities involving the "bar" operation as well. * * Now we also note that the proof of the principle of duality we have presented allows us to extend immediately its statement. if we replace in the resultant equality the elements А. a given formula involves an element A then the application of the "bar" operation to both members of the formula results in the transformation of A into the element A = A. Finally. Namely. by their 46 . С etc. for instance.

It turns out that the principle of duality has even a wider range of application because it applies not only to Boolean equalities but also to "Boolean inequalities". In the algebra of sets the relation A zd В means that the set A contains the set В as its part (see Fig. Exercise 2 (d) below) is the evident relation A {A + B) = AB. the dual of the equality A + A B = A + В (cf. Every Boolean algebra involves the equality relation between elements of the algebra (an equality A = В simply means that A and В are one and the same element of the Boolean algebra) and it also involves one more i m p o r t a n t relation (the inclusion relation) between elements whose role is analogous to that of the relation "greater than" (or "less than") in the algebra of numbers.complements A = А. for two elements A and В there may exist the inclusion relation A zd В or. a in the algebra of numbers). the De Morgan formulas Â+B = AB and ~ÂB = Â+B are the duals of each other and. to explain this fact we must present one more notion playing an extremely important role in the theory of Boolean algebras. For instance. We see. then instead of A we must again write A. It should also be taken into account t h a t when two sets A and В coincide it is also correct to write A zd В because in this case as well the set В is entirely contained in the set A. similarly. if A is the set of the pupils in your class who have no bad marks and В is the set of the excellent pupils then. 19). В = В. The inclusion relation is denoted by the symbol ZD (orcz). t h a t the relation I D for ele47 . However. For instance. It follows that when we pass u from a given formula to its dual the bar" operation goes into itself. B e A The last two relations have one and the same meaning (note that the form of these relations resembles that of the relations fif>& and b < . of course. A zd B. which is the same. Similarly. С = С etc. if A 2 is the set of the even numbers and A e is the set of the integers divisible by 6 then obviously A2 zd Ae.

if A zd В then A czB (see Fig. 21). It is clear t h a t if А zd В and В zd C. when we deal with numbers the relations a b and b ^ с imply t h a t a ^ c. For instance. Any two (real) numbers a and b are comparable in the sense t h a t at least one of the relations a ^ b and 48 . 20 ments of a Boolean algebra is closer to the relation ^ ("greater than or equal to") t h a n to the relation > ("greater than") used in the algebra of numbers.Fig. 20). Similarly. Now we indicate an essential distinction between these relations. since the set of the pupils in your class is wider t h a n the set of the excellent pupils it follows t h a t the set of the pupils having at least one bad m a r k is contained in the set of the pupils who are not excellent pupils. Finally (this fact is particularly important). 19 Fig. F u r t h e r . Up till now we have compared the properties of the relation zd for sets w i t h the properties of the relation ^ for numbers to stress the similarity between (he relations. il A zd В and В zd A. then A zd С (see Fig. then A = В For numbers we know the similar fact t h a t the relations a ^ b and b ^ a i m p l y a — b.

We also note t h a t for any element A of an algebra of sets we have I ZD A. 21 A and А В cz A (Fig. it is evident t h a t if A zd В then A + В = A and AB = В (see Fig. 19). 22). 23). A ZD О and t h a t there always hold (for any A and В) the inclusion relations /1 + В zd Fig. Since A zd A for a n y A the last two equalities can be considered a generalization of the idempotent laws A f A — A and A A — A. Finally. In contrast to it. A (a) S (b) Fig. .b a must be fulfilled for them 1 ). for two arbitrary sets A and В neither of the relations л гэ В and В zd A holds (see Fig. in the general case. 22 I n case b o t h relations hold simultaneously the numbers a and b are s i m p l y equal.

in the "algebra of least common multiples and greatest common divisors" (Example 4 on page 31) the relation m ZD n means that the number n is a divisor of the number m. We shall 1 ) I n this Boolean algebra for any two elements x and y at least one of the relations x г:> y and y z: x holds. in this case we have 42 ZD 6 while the numbers 42 and 35 are incomparable in this algebra (that is neither of the relations 42 ZD 35 and 42 cz 35 takes place).>: we assume that two elements x and у of this algebra are connected by the relation x ZD у if the number x is not less than the number у (for instance.* Let us discuss the meaning of the relation ZD for the other Boolean algebras known to us. Let the reader check that the relation ZD defined in the above indicated way in each of the algebras we have considered possesses all the enumerated properties of the relation ZD in the algebra of sets. t h a t is neither of the relations p ZD q and q ZD p holds for them). we have 1/2 ZD 1/3 and 1 ZD 1 in this case) 1 ). /) Z 3 0 and q ZD 0 (the elements p and q of this algebra are incomparable. 23 IZDO. Finally. 1 Z D с/. for instance. * Now it appears natural to apply the term "Boolean inequality" to any formula whose left-hand and right-hand members are connected by the relation ZD (or cz). 1 :z> p . For the "algebra of maxima and minima" (Example 3 on page 28) the relation гз coincides with the relation . 50 . For the "algebra of two numbers" (Example 1 on page 25) this relation is specified by the condition A+B 1 ZD 0 В For the "algebra of four numbers" (Example 2 on page 27) the relation ZD is specified by the conditions F i g .

A + B ^ > zd A and A zd AB considered above. since the inequality (A В) X X {A — С) (A + I) zd ABC holds and since we have the rule "if A zd В then A cz B. we obtain RTB)(A + C)(A + I) = (A + B) (A + C) + = A + B + A + C +1f I+T= Г ÂB + AC + AO Similarly. of a Boolean algebra entering into the inequalities in question.speak of only those inequalities which hold for all the possible values of the elements A. A ^ > 0 . . For instance. I are also interchanged (provided that О or / or both enter into the enequality) then. . The principle of duality states t h a t if addition and multiplication are interchanged in such an inequality and if the elements О and. . C. For instance. it follows that the inequality (A + B)(A+ C) (A +1) cz ABC is also valid. For instance. В and С there holds AB + AC + AO czÂ+B +C . on changing the sign of inequality to the opposite (that is on replacing the relation ID by the relation с or vice versa) we again arrive at a correct inequality (that is at an inequality which is fulfilled for all the values of the elements of the Boolean algebra which enter into it). such are the inequalities I ^ > A . taking into account that 1 = 0 . from the relation (A + В) {A + C){A (see Exercise 8 have + / ) => ABC (b) on page 53) it follows that we always AB + AC + AO с A + В + С * To prove the general principle of duality it suffices to apply the "bar" operation to both members of the original inequality. Tbc^I+B rims. В. we conclude that for any the inequality +C А. By the De Morgan rules.

Now. Show that in this "algebra 52 . 5*. Check that in the "algebra of four numbers" (Example 2 on page 27) there holds De Morgan's second rule ab = a -). • • . 2. since А. . * in the sense de- * Exercises 1. W h a t equalities are obtained from the equalities in Exercises 2 (a). A + B ) { A + B) = A (b) AB-\-{A (c) ÀÏÏC ÂB AC = О + B){I-\-B) = A+ B (d*) A + AB = A + B 3. . We thus arrive at the inequality AB + AC + AO a A + В + С which is dual to the original inequality scribed above. Proceeding from this fact show that in this "algebra of least common multiples and greatest common divisors" all the laws of a Boolean algebra hold including the De Morgan rules. . (b) Let TV = pA where p is a prime number and A is a positive integer.. (a) Let N = ргр2 . Ph a r e pairwise different. . ph where all prime numbers Pi.b. Prove the following identities of algebra of the sets: (a) ( . В and С are arbitrary here we can simply denote them as fi and С respectively. (b) and (c) by means of the principles of duality? 4.. p2.. 1 . 2. . . ph}".. . Prove t h a t in this case the "algebra of least common multiples and greatest common divisors" whose elements are the divisors of the number N (see Example 4 on page 31) reduces to the "algebra of the subsets of the universal set / = p2. A. Prove that in this case the "algebra of least common multiples and greatest common divisors" whose elements are the divisors of the number N reduces to the "algebra of maxima and minima" defined in the set consisting of the numbers 0 . Write down the dual equalities for all the equalities whose proof is discussed in Exercises 1-10 on page 23.

(b) the algebra of four elements. . Exercise 6 on page 36). / Л and m = pa2'. 6*. 0 ^ ah Ah (cf. also prove these inequalities directly without resorting to the duality principle. For which of the Boolean algebras known to you do the equalities A + I=I and AA = 0 hold and for which do they not hold? 7. . 10. / Л where O ^ a ^ ^ j . Prove the following inequalities of the set algebra: (a) A + B + C =>(A + B)(A + C) (b) (A + B)(A + C)(A + I)=> ABC (c) (A + B)(B + C)(C + A)=>ABC (d) A + Bz=> ÂB + AB 9. (c) the "algebra of maxima and minima". 8. Prove that if a Boolean inequality involves the "bar" operation then is also valid the inequality obtained from the original one by interchanging the Boolean addition and the Boolean multiplication and by interchanging simultaneously the element О and the element / while the "bar" pperation is retained at each place it occupies in the original ^ e q u a l i t y and the sign of the inequality is changed to the opposite. 53 . What is the decomposition of the number m = N/m into prime factors? Use the formula obtained for this decomposition to prove the De Morgan rules in the general case of an arbitrary "algebra of least common multiples and greatest common divisors". (c) Let N = p f ' pi' . . Write down the inequalities obtained from the inequalities in Exercises 8 (a)-(c) using the duality principle. . (d) the "algebra of least common multiples and greatest common divisors".of least common multiples and greatest common divisors" all the laws of a Boolean algebra hold including the De Morgan rules. Check that all the properties of the relation zэ hold for the following algebras: (a) the algebra of two elements (see Example 1 on page 25). Use this principle to form a new inequality from tne inequality in Exercise 8 (d). 0 < .

Mary} В = {1.. (c) A + B\ (d) AB 4. However. Simplify the following expressions: (a) A + B. 2. even in those cases when a set can be defined by tabulation and the tabulation is quite simple it may nevertheless happen that the enumeration itself does not indicate why these elements are collected toj form the set. John. the sets we have mentioned can be written as A = {Peter. . (b) the "algebra of least common multiples and greatest common divisors". multiplication and division". this method of representing a set is highly inconvenient in case there are very many elements in the set. :} (in the last expression the signs of the operations symbolize the operations themselves) 1 ). x 54 ) Also see Exercise 5 (a) on page 52. Tom. John. It is obvious t h a t the simplest method is to specify a given set by tabulation. . Verify all the properties of the relation ZD for (a) the "algebra of maxima and minima". 4" or the "set of the four operations of arithmetic: addition. (b) AB. Sets and Propositions. 3. 2. 12*.11. For instance. In mathematics the elements of a set which is defined by tabulation are usually written in curly brackets. subtraction. Besides. Let us discuss the methods for specifying the sets which are the elements of this algebra. Propositional Algebra Let us come back to the Boolean algebra of sets which plays the most important role in the present book. 3. 5} and C= {+. Let some sets A and В be such t h a t A zd В. Tom and Mary" or the "set of the numbers: 1. X . we can consider the "set of the pupils: Peter. 4. it becomes completely inapplicable when the set in question is infinite (we cannot enumerate an infinite number of Llie elements of the set!). for instance. t h a t is by enumerating all the elements of the set.

the essence of the method is t h a t we fix a collection of the objects we are interested in (for instance. The descriptive method of representing sets connects the sets with propositions which are studied in m a t h e m a t i c a l logic. such a proposition m a y simply reduce to the enumeration of the elements of a given set. as has been mentioned. etc. When a set is defined by description we indicate a property characterizing all the elements of the set. For instance. "he is a chess-player". for instance. see Fig. Thus. infinite sets can be defined by description only. For instance. 24) 2 ). the set of the pupils.) which satisfy the condition mentioned as the characteristic property in a given proposition a is called the truth set of this proposition 1 ) (for instance. moreover. the collection of the pupils in your class or the collection of the integral numbers) and then state a proposition which is true for all the elements of a set under consideration and only for these elements. if we are interested in the sets whose elements are some (or all) pupils in your class then such propositions can be "he is an excellent pupil". — Tr. or Tom. 55 . "his name is George" and the like. The descriptive method for specifying sets is quite applicable for the definition of infinite sets such as the "set of all integers" or the "set of all triangles with area equal to 1". 2 ) We shall denote propositions by small letters and the t r u t h sets corresponding to the propositions by the same capital letters. "the name of the pupil is Peter or John. we can consider the "set of all excellent pupils in your class" (it m a y turn out that the set A mentioned above coincides with this set of excellent pupils) or the "set of all integers x such t h a t 0 ^ x ^ 5" (this set exactly coincides with the set В mentioned above) or the "set of all animals in a zoo". The set A of all those elements of the universal set I in question (for instance. the set of the numbers. i t would be more precise to use the term prepositional function or open sentence (or open statement) and to speak of the t r u t h set of the given propositional function but we shall s i m p l y speak of propositions throughout the present translation. or Mary") x ) According to the terminology of modern mathematical logic. there is a "two-way connection" between sets and propositions: every set is described by a proposition (in particular. Namely.Therefore another method which specifies the sets implicitly by description is more widely used.

for instance. 24 and to every proposition there corresponds a definite set which is the t r u t h set of this proposition. W h e n considering propositions we are only interested in the sets t h e y describe. Finally. t h a t such statements as "the person has two heads and sixteen arms" or " 2 x 3 = 6" are propositions (the second of these sentences is even completely independent of the choice of the universal set I ) while such sentences as the exclamation "Be careful!" or "Oh!" are not considered propositions. It is also import a n t t h a t for any collection of propositions (even for propositions concerning objects of different kinds) it is always possible to indicate a certain universal set / corresponding to all the propositions in question and c o n t a i n i n g all the objects mentioned in these propositions.a-"the figure is quadrangular" b-"the figure is triangular" Fig. Another highly i m p o r t a n t condition is t h a t by a proposition we shall only mean a statement about which it makes sense to say that it is either true or false when it is applied to a definite element of the given universal set. "he is an excellent pupil" and "he has only the highest marks" or "the number x is odd" and "the division of the number x by 2 gives 1 in the remainder") are equivalent we shall write a = b 56 . Therefore any two propositions a and b to which one and the same t r u t h set corresponds will be identified and will be considered equivalent ("equal"). it should also be borne in mind t h a t such sentences like "two hours is a long time" or "the e x a m i n a t i o n in m a t h e matics is a highly unpleasant procedure" are not considered propositions either because t h e y are quite subjective and t h e i r t r u t h or f a l s i t y depends on a number of circumstances and on the character of the person who states these sentences. W h e n two given propositions a and b (for instance. This means.

Tom. "this pupil can fly like a bird". George. Similarly. Helen} while the proposition b asserts that "the pupil can play draughts" and its truth set is В = {Peter. Since the sum of two sets is nothing but the union of all the elements contained in both sets. all the necessarily false (that is contradictory) propositions which are never true. briefly. examples of necessarily false propositions are " 2 x 2 = 6". Ann. Alice} then a -f b is the proposition "the pupil can play chess or 'iie pupil can play draughts" (or. Tom. "the height of the pupil does not exceed 3m" and the like. Namely. if the proposition a states "the pupil is a chess-player" and if among the pupils in your class the truth set corresponding to this proposition is A = {Peter. will also be regarded as equivalent. Mary. The connection between the sets and the propositions makes it possible to define some algebraic operations on propositions similar to those introduced earlier for the algebra of sets. Bob. John. Mary. Let us agree to denote this new proposition by the symbol a . the sum a + b of two propositions a and b is simply the proposition "a or b" where the word "or" means that at least one of the propositions a and b (or both propositions) is true. that is the propositions whose truth sets are empty. the notation A U В for the sum of two sets A and B). by the sum of two propositions a and b we shall mean a proposition whose truth set coincides with the sum of the truth set A of the proposition a and the truth set В of the proposition b. 14 57 . For instance. that is the propositions which are always true irrespective of which element of the set I is considered.All the necessarily true propositions. Let us agree to denote all necessarily true propositions by the letter i. are also regarded as equivalent to one another. "the height of the pupil exceeds 4m" and "the number x is greater than 3 and less than 2". Examples of necessarily true propositions are " 2 x 3 = 6". "the pupil can l ) In mathematical logic the sum of two propositions a and b usually called the disjunction of these propositions and is denoted by the symbol a V b (cf. Harry. We shall denote such propositions by the letter o.f b1). "this pupil is a boy or a girl".

Alice} If the universal set is the set of the geometrical figures shown in Fig. H a r r y .b is A + В — {Peter. Ann. 24 and if the propositions с and d assert t h a t "the figure is round" and "the figure is shaded" respectively then the proposition с + d asserts that "the figure is round or shaded" (see Fig. Helen. The truth set corresponding to this proposition а -f. 25 play chess or draughts"). "the pupil can play chess and draughts"). briefly. Tom. by the product ab of two propositions a and b with truth sets A and В we shall mean a proposition whose truth set coincides with the product AB of the sets A and 5 1 ). then the proposition ab asserts t h a t "the pupil can play chess and the pupil can play draughts" (or. John. For instance. George. Bob.с-"the figure is round" d-"the figure is shaded' C+D- c + d-"the figure is round OR shaded" cd-"the round AND figure is shaded" Pig. if the propositions a and b concerning the pupils in your class are the same as above. 25). Since the product of two sets A and В is nothing b u t their intersection (that is their common part) containing those and only those elements of the universal set I which are contained in both sets A and B. the n o t a t i o n A f| В for the p r o d u c t of t w o s e t s A and B). the truth set corresponding to this I n m a t h e m a t i c a l logic the p r o d u c t of t w o p r o p o s i t i o n s a and b is more often c a l l e d the conjunction of these p r o p o s i t i o n s and is denoted b y the s y m b o l a/\b (cf. the product ab of the propositions a and b is the proposition "a and b" where the word "and" means t h a t both propositions a and b are true. . Mary. Similarly.

in M W o s h a l l also w r i t e t h e r u l e s we h a v e e n u m e r a t e d i n t h e w h i c h t h e y are u s u a l l y g i v e n i n m a t h e m a t i c a l l o g i c : a\/b = (a\/h)\Jc = (a\/b)/\c a V" : a Vо ~ a\/i = b\J a a\/(b\/c) (aAc)V(b/\c) " a i form a/\b = b Д a (аДЬ)Дс = аД(6Дс) (аЛЬ)\/с = (aVc)/\(b\Jc) аДa . if i is a necessarily true proposition and о is a necessarily false proposition then we always have (that is for any proposition a) the relations a о — a.proposition is AB . ao ----. Tom.a аД i . The connection between the sets and the propositions makes it possible to extend to the propositions all the rules of the algebra of sets: a b = b + a and ab = ba t h e c o m m u t a t i v e l a w s of a l g e b r a of p r o p o s i t i o n s (a + 6) + c = a + (& + e) and (ab)c-^a(bc) t h e a s s o c i a t i v e l a w s of a l g e b r a of p r o p o s i t i o n s (a-f b) с — ac-f be and ab-{-с = ( a c ) (b-{. Mary} If two propositions с and d concerning the set of the geometrical figures shown in Fig. 25).c) t h e d i s t r i b u t i v e l a w s of a l g e b r a of p r o p o s i t i o n s a+ a= a and aa = a t h e i d e m p o t e n t l a w s of a l g e b r a of p r o p o s i t i o n s Besides. ai = a and a + i = i.о For instance.a a/\o = о 59 . the proposition "the pupil has only the highest marks or the pupil has two heads" is equivalent to the proposition "the pupil has only highest marks" while the proposition "the pupil can swim and the pupil is not yet 200 years old" is equivalent to the proposition "the pupil can swim" 1 ). then the proposition cd asserts t h a t "the figure is round and shaded" (see Fig. 24 mean that "the figure is round" and "the figure is shaded" respectively.{Peter.

"the pupil can play draughts" and "the pupil can swim" respectively.) * * Like the operations of addition and multiplication of sets. if the . By virtue of the second distributive law of the set algebra. we have AB + С = (A + С) {В + C) Thus. In other words. the "bar" operation of the algebra of sets can also be extended to the algebra of propositions. Since the truth set of the sum of two propositions is the union of the truth sets of these propositions and since the truth set of the product of two propositions is the intersection of the truth sets of the given propositions. b and с are "the pupil can play chess". the truth set of the proposition à contains those and only those elements of the universal set I which are not contained in the set A.* To demonstrate how the rules ol the algebra of propositions are derived from the rules of the algebra of sets let us consider. (Also see page 20 where we indicated that the propositions "the pupil can play chess and draughts or can swim" and "the pupil can play chess or can swim and also can play draughts or can swim" have one and the same sense. В and С are the truth sets of the propositions a. For instance. by a should be meant the proposition whose truth set is the set A where A is the truth set of the proposition a. b and с respectively. Similarly. Namely. it is evident that the truth set of the compound proposition ab + с which means "the proposition "a and b" or the proposition с is t r u e " is the set AB + С where А. the truth sets of the propositions ab + с and (a + с) X X (b + c) coincide. that is ab + с — (a + c) (b + c) where the propositions a. the truth set of the (compound) proposition (a + c) (b + c) is the set (A + С) {B + C). which means that the propositions ab + с and (a + c) (b-\-c) are equivalent. the derivation of the second distributive law. for instance. that is the elements which are not contained in the truth set of the proposition a.

hence. 61 . "it is false that the pupil is not yet 120 years old") is always necessarily false. according t o the d e f i n i t i o n of the equivalence ( e q u a l i t y ) of p r o p o s i o n s . 26 proposition a asserts that "the pupil has bad marks" then the proposition a means "the pupil has no bad marks". Generally. the "bar" operation of the propositional algebra is the operation of forming the negation (denial) à of the proposition a. a-\-b = ab ' ) For instance.b "IT IS FALSE THAT the figure is triangular" Fig. "the figure is not triangular". The proposition a can be formed from a by prefixing "it is false that". there is no need to verify them since they simply follow from the corresponding rules of the set algebra 1 ). the negation of a necessarily false proposition (for instance.4 + H = A B . 26). If the universal set / consists of the geometrical figures shown in Fig. we have.b = ab. Now let us enumerate the rules of the algebra of propositions r e h t e d to the operation of forming negation: a— a a-\-a — i o= i and and aa = o i — o and аЬ — а-\-Ъ Indeed. see Fig. since the t r u t h sets of the p r o p o s i t i o n s a + b and аь are А + В and А В where A a n d В are the t r u t h sets of the p r o positions a and b r e s p e c t i v e l y and since . simply. the e q u a l i t y ч -j. the proposition à has the sense "not a". 24 and the proposition b asserts that "the figure is triangular" then the proposition b means "it is false that the figure is triangular" (that is. All the other laws can also be readily checked (let the reader check them). " i t is false that 2 X 2 is equal to 5" or "it is false that the pupil has two heads") is always a necessarily true proposition while the negation of a necessarily true proposition (for instance. f'y the way.

(b) a + 6.Exercises 1. Let the propositions a and b mean "the given positive integer is even" and "the given positive integer is a prime number" respectively. Let a be the proposition "he is an excellent pupil". (f) ab. (h) ab 4. Let the proposition a assert t h a t : (a) " 2 X 2 = = 4". W h a t is the meaning of the proposition a in all these cases? Is the proposition à necessarily true? Is it necessarily false? 3. (d) a-\~T>. Let the proposition a mean "the pupil can play chess" and let the proposition b be "the pupil can play draughts". (b) "the pupil is a boy". Give three examples of necessarily true propositions and two examples of necessarily false propositions. (d) "he can fly". Explain the meaning of the following propositions: (a) a + b. b "he is dark" and let с mean "he can swim". 2.be and (b) ab + с and (a + c) (b + c) 5. (d) ab. (c) ab. (e) a + b W h a t are the t r u t h sets of these propositions? 6. is an insect". State the propositions (a) a + b and ab and (b) ab 62 and a+ b . Explain the meaning of the propositions (a) (a + b) с and ac -f. (c) "an elephant. Let a and b be the propositions "this pupil is interested in mathematics" and "this pupil sings well" respectively. (g) ab. (c) a + b. (e) a+Ъ. (b) ab. State the following propositions: (a) ab.

The m a t t e r is t h a t tlie algebra of propositions is closely related to the rules of the process of t h i n k i n g because the sum and the product of propositions defined in Sec. are equivalent. in everyday life few people t h i n k of these rules as m a t h e m a t i c a l laws of thought b u t even children freely use them. Indeed. or. In recent decades the situation lias changed and nowadays we want to make electronic computers perform the f u n c t i o n s which in the past could only be performed by people. Rules for Deduction Now we can explain why George Boole called his work (where the "unusual algebra" considered in the present book was constructed) "Laws of Thought". nobody doubts t h a t to say "he is a good runner and a good jumper" is just the saine as to say "he is a good jumper and a good runner". "Laws of Thought". 4 reduce to nothing but the logical (propositional) connectives "or" and "and" respectively. for instance. as is known. t h a t is all the people know (although they m a y not be aware of it) t h a t propositions ab and ba have the same meaning. t h a t the "laws of thought". Of course. t r a n s l a t i n g books from one language into another. solving mathematical problems. the "bar" operation has the sense of the negation and the laws of the propositional algebra describe the basic rules for the logical operations which all the people follow in the process of thinking. which is the same.5. traffic schedulling. We can also explain why nowadays George Boole's approach to the m a t h e m a t i c a l i n t e r p r e t a t i o n of the laws of logic as certain "algebraic rules" has become an object of intense interest. which must be followed by the thinking" machines constructed by the man. economic p l a n n i n g and finding necessary data in scientific literature. As long as logical operations were performed only by people who used them in the process of thinking quite i n t u i t i v e l y there was no need to formulate the logical rules rigorously. modern electronic computers can even play chess! It is obvious that in order ! o compile the necessary programs for the computers it necessary to state rigorously the "rules of the game". People can -ч1 the rules of logic i n t u i t i v e l y but for a computer these les must be M a t e d in a c l e a r manner usina the only 03 . such functions as production process control.

if a pupil has no bad marks then the proposition "the pupil has bad marks" is of course false when applied to this pupil. that is a and "not a". 64 . The rule expressed by the relation aa = o is called the law (principle) of contradiction. the rule a+ a= i expresses the so-called law (principle) of excluded middle: it means t h a t either a is true (here a is an a r b i t r a r y proposition) or the proposition à is true and therefore the proposition a-f a. For instance. The rule expressed by the formula a= a is called the law of double negation (or the law of double denial). that is the language of mathematics 1 ). (The law of excluded middle and the law of contradiction are referred to as the laws of complement or the complementation laws. For this purpose a more i n t r i c a t e mathem a t i c a l and logical apparatus must be developed which is not considered here. can never be true simultaneously and therefore the product of these propositions is always false. if a whole number n is even then the proposition "the number n is odd" is of course false for this number. It asserts t h a t the double negation of a propoWe must warn the reader that the elementary algebra of propositions to w h i c h the present book is devoted does not provide sufficient means for constructing modern electronic computers and for posing complex m a t h e m a t i c a l problems in the f o r m i n w h i c h they can be "inserted"' i n t o computers. t h a t is "a or not a". is always true. even w i t h o u t h a v i n g any information 011 the tallest pupil in your school we can definitely assert t h a t this pupil is "either an excellent pupil or not an excellent pupil" or t h a t this pupil "either can play chess or cannot play chess" etc."language" which a m a t h e m a t i c a l machine can"»nderstand". Now let us come back to the "laws of thought" themselves.) For instance. The most interesting logical rules are connected with the logical operation of negation. some of t h e m have special names in logic. this law asserts t h a t the propositions a and 'a. For instance.

For instance.sition is equivalent to the original proposition itself. Up till now we have not considered Ibis relation in connection with propositions nul only discussed it in connection with the algebra of sets. a ab + с — (a + c) (b + c) laws a —a and aa — a ne definite "laws of thought". it asserts t h a t "the given integer is not odd" and hence it is equivalent to the original proposition asserting t h a t the integer is even. The De Morgan rules a-\-b — ab ab-=a-\-b and for the propositions are also very i m p o r t a n t . However.'impositions. which is the same. the verbal s t a t e m e n t of lliese rules is a little more complicated (in S h is connection see Exercise 1 below). a contains the 65 . All the other rules of the proposilional algebra such as the d i s t r i b u t i v e laws (a + /)) с — ас -f be and or the idempotent. the negation of the proposition "the pupil has no bad marks" means thai "the pupil has bad^marks" and the double negation of the former proposition slates that "it is falsi' llial the pupil has bad marks" and is therefore equivalent to the original proposition asserting t h a t the pupil has no bad marks. the proposition a is a conse• ' nee of the proposition b: the meaning of what has been 'I is thai the truth set A of the proposition. the negation of the proposition "the given integer is even" is the proposition "the given integer is odd". Similarly. Namely. as In the negation of 1he latter proposition. Л particularly i m p o r t a n t role is played by the r e l a t i o n s which can be extended from the algebra of sets to the mathematical logic (prepositional calculus). the "two-way connection" between sets and propositions allows us to extend easily the relation из of the Igebra of sets (the inclusion relation) to the algebra of . let us agree t h a t the relation a n> b written for two propositions a and b should be understood n the sense that the proposition a follows from the propo<iion b or. that is logical rules which I he people follow when deducing new inferences from those which are already known to be true.

for a p u p i l to have no bad marks i t is of course sufficient that this p u p i l should have only the highest marks) while the proposition a is said to be a necessary condition for the proposition b (for instance. 12. 4. The process of establishing the fact t h a t two propositions a and b are connected by the relation a I D b is called deduction. in the proof of a theorem) we always use the basic properties of the relation (sometimes without being aware of it). from the condition t h a t "the angle P of a triangle MNP is a right angle". These properties can be stated as the following rules for I f a zd b we also say that the proposition 6 is a sufficient condition for the proposition a (for instance. 27 no bad marks" is a consequence of the proposition b asserting t h a t "the pupil has only the highest marks". In the deduction processes (for instance. 16. 10. In o t h e r words. 8. In a m a t h e m a t i c a l proof it is usually required to show t h a t from a condition b of the theorem (for instance. W h e n showing t h a t the relation a ZD b takes place we deduce the conclusion a from the condition b. 12. 18. the above relation a zd b means t h a t M \ А гэ В \ For instance. . in this case the relation а b is equivalent to the Pythagoras theorem). . 18. the set \ Ae - {G. the proposition a staling t h a t "the pupil has Fig. . A2 = {2. for a p u p i l to have only the highest marks i t is of course necessary that this p u p i l should have no bad marks). 20. . see Fig.} of the even whole numbers.truth set В of the proposition b. In everyday life and in science we often deal with deduction. Similarly. .} of the whole numbers divisible by 6 is contained in the set. 27) follows a conclusion a of the theorem (for instance. the conclusion t h a t " M P 2 -f N P 2 = = MN2". therefore the proposition "the number is even" (it is meant t h a t the universal set I we deal with consists of all the positive integers) follows from the proposition "the number is divisible by 6" 1 ). 66 . the proof of a m a t h e m a t i c a l theorem reduces to deduction. since the set В of excellent pupils in your class is obviously contained in the \ JJ set A of all pupils h a v i n g no bad marks. as a rule. 14. . for instance. 6.

On the other hand. that is to prove that the proposition A follows from the proposition b. we know that if the diagonals of a quadrilateral bisect each other (the proposition b) the quadrilateral is a parallelogram (the proposition a). we know that "in a parallelogram the opposite angles are congruent" (the proposition с). 67 . Let it be required to prove that the relation A ZD b holds. -) In this case we even have a ZD b and b ZD a. Let it be required to prove that if an integer n which is greater than 3 is a prime number (the proposition b) then n has the form 6/c ± 1 (where к is an integer). Thus. It often turns out that it is easier to prove the fact that if a is false then b cannot be true. Let us consider an example of a proof by contradiction. This rule serves as the basis for the so-called proofs by contradiction (Latin reductio ad absurdum proofs). we have a zd b2) and czd a and therefore с ZD b In other words.'/ a ZD b and b ZD a then a = b" is sometimes stated as "if b is a necessary and sufficient condition for a then the propositions a and b are equivalent" (from this ['oint of view we have assumed the propositions a and b are considered ']nal in this case). that is a = b. if the diagonals of a quadrilateral bisect each other then its opposite angles are congruent. that is to show that the proposition "not b" (that is the proposition b) follows from the proposition "not a" (that is from the proposition a). Let us dwell in more detail on the application of the rule asserting that if a ZD b then b ZD a. that is when The second of these rules asserting that ".deduction1): a zd a if a zd b and b zd a then a - if a zd b and and b zd С then a zd с i b zd a zd a and a zd о a ZD ah for any for any B a a and b if a zd h then 6 :r> a For instance.

Give an example of a proof by contradiction and write it in the symbolic form. or 4. or to 3. then n is divisible by 3 and cannot be a prime number either. 1 ) The f o l l o w i n g argument is more precise: from the relation b ZD a we have proved i t follows t h a t (a) ZD (ft). then this integer is even and therefore it cannot be a prime number.a + b. It is rather difficult to prove this fact directly without using the rule if a ZD b then b ZD a. Exercises 1. if the division of n by 6 gives 3 in the remainder. Thus. therefore we shall try to resort to a proof by contradiction. Let a ZD b. Since the remainder obtained when an arbitrary integer n is divided by 6 can be equal to 0 (in this case n is divisible by 6) or to 1. or to 4. (b) the law of contradiction. Simplify the expressions of the sum a + b and of the product ab of the two propositions a and b. 2. t h a t is a ZD b\ now. that is the number n (which is an integer greater than 3) cannot be represented in the form 6 f r ± l . Give the verbal statement of the De Morgan rules of the algebra of propositions: a -f b — ab and ab --. a and . there must 08 be a ZD b. 5. Give examples demonstrating the following rules: (a) the law of excluded middle. Give one example to demonstrate each of the properties of the relationiD for propositions enumerated on page 67. since by v i r t u e of the l a w of double negation we have a b . or to 5 (the last case is equivalent to the one when the remainder is equal to —1). 3. it follows that the assumption that и is true means that when n is divided by 6 we obtain 0 in the remainder (that is n is divisible by 6) or 2.n is divided by 6 the remainder is + 1 or —1 (the proposition a). or to 2. To this end let us suppose that the proposition à is true. or 3. An integer divisible by 6 cannot be a prime number.b. 4. b ZD a) whence we conclude that a ZD b which is what we intended to prove 1 ). b follows from a (or. (c) the law of double negation. symbolically. if an integer n > 3 gives 2 or 4 in the remainder when it is divided by 6.

Dx and D 2 respectively. A family consisting of a father (F). In the symbolic form the conditions of the problem are written thus: (1) FMS + F = i (2) SDt + S=i (3) MD2]MD2 (4) F + M = i i (5) DiDz + DtDz . They often swim early in the morning and it is known that when the father goes swimming then the mother and the son always go swimming together with him. 'the first daughter went swimming on Sunday morning" and "the second daughter went swimming on Sunday morning" by the same symbols F. it is known that last Sunday only one of the daughters went swimming.Я 2 ) i 69 . it is also known that if the son goes swimming his sister D t goes with him.6. Below is an example of this kind. M. "the son went swimming on Sunday morning". the negations of these propositions will be denoted by the same symbols supplied with the bar. The second daughter J92 g ° e s swimming then and only then when her mother does and it is known that at least one of the parents goes swimming every morning. As usual. a mother (M). Finally.DZ f D. + S) (MDZ i. a son {S) and two daughters (Z^ and D2) spends its vacation at the sea shore. The question is: who of the members of the family went swimming last Sunday morning? Let us denote the propositions "the father went swimming on Sunday morning".MD2) (F + M) (D. "the mother went swimming on Sunday morning". S. Implication The rules of propositional algebra can be applied to the solution of logical problems whose conditions form a collection of propositions using which we must establish the truth or the falsity of some other propositions. 'u multiplying all these equalities we obtain the relation *\rS+T) (SD.t л here the letter t denotes a necessarily true proposition. Further Examples of Application of Rules for Deduction.

pn) composed of propositions pu p2. pn with the aid of the basic operations + . This procedure turns out to be useful in many other cases and therefore we shall dwell on it in more detail. the associative. the idempotent laws and the law of contradiction AA . Let us open the parentheses in the expression on the lefthand side using the first distributive law and also the commutative.. I D{D2) . + S)~- I FMDJ)2 FMSDiD2 Thus.FMSDtD2 4 ÏMDJJ2) (SI).which is equivalent to the system of equalities (l)-(5) because the product of propositions is true if and only if all the multiplicand propositions are true. . • and the "bar" operation of the algebra of propositions. .О together with the relations A + + О — A and AO — 0..D2 . . Suppose that we are given an arbitrary algebraic expression / = / (р1ч p2. To simplify the transformation we change the order of the factors: (FM S + F) (F + M) = F MS -f FM {F M S + FM) (MDZ + MD2) = FMSD2 + FMDZ (FMSD2 (FMSDiD2 f FMD2) (ОД. we finally obtain FM'SD. * The solution of the problem we have presented is based on the algebraic transformations by means of which we have simplified a rather complex expression {FMS + F) (SDi + S) (MD2 + MD2) (F + M) (ВД + 5 Д ) and have brought it to the form FMSDJ)2. . . We shall prove that if the compound (composite) proposition f is not necessarily false (that is / is not equivalent to o) then it can be reduced to the form i 70 114' •• • n .i which means that only the mother M and the second daughter D 2 went swimming on Sunday morning. .

pn but not above their combinations (their sums or products). using the first distributive law we can open the parentheses in all those cases when they mean that to obtain the expression / it is necessary to multiply by one another sums of prime propositions p j and their negations p j or some more complex combinations of the propositions. p2. if a term in the sum contains one and the same proposition ph (or pk) several times as a factor then we can retain only one such factor and if the sum / contains several identical terms we can also retain only one of them (we remind the reader that the Boolean algebra is an "algebra without exponents and coefficients". If a term in this sum contains both factors p j and p j it can be simply dropped (because pp = о for any /?). . see page 22). . The proof of the assertion we have stated is quite simple. Further. for instance. . . . In this way we can bring the sum / to the form in which all the summands contain as factors all the propositions p^ p2. / ) „ or their negations. . If all these operations result 1 ) In mathematical logic form (*) of a composite proposition is more often referred to as its disjunctive normal form. n) in each term of the sum denotes either pj or pj and all the terms of the sum are pairwise different. . 71 . . if two composite propositions f j and /2 are equal (equivalent) they have the same forms of type (*) and if they are different (not equal to each other) their forms of type (*) are also different. . pn) so that the sign of negation (the bar) stands only above some (or all) constituent (prime) propositions px.. On opening all the parentheses of this kind we reduce the compound proposition / to an "additive" form written as a sum of a number of terms each of which is a product of prime propositions p} and their negations. First of all. using the De Morgan formulas we can transform the composite proposition f (pu p2. if a term A of the sum we have obtained contains. . neither the proposition p t nor its negation p x we can replace it by the equivalent expression A{Pi + Pt)=--Api + Api which is a sum of two terms each of which contains the factor pi or pi. Form (*) of a composite proposition / is called its additive normal form1). 2.inhere the symbol p] (/ = 1.. Besides. .. . . Further.

one lesson in history and one lesson in English. The last property can be used for verifying whether two composite propositions fa and / 2 are equivalent or different. two lessons in physics. as to the proposition / 2 . namely. On the other hand. Monday. if forms (*) of two propositions are different these propositions cannot be equal (equivalent). for instance. for instance. For if. one lesson in chemistry. It also turns out that the additive (disjunctive) normal form of a compound proposition is very useful in many other cases. the given composite proposition / is reduced to its additive (disjunctive) normal form (*). and let there be not more than three lessons every educational day. r. we can always assume that any two given composite propositions fa and / 2 contain the same prime propositions p. because if. n . We have thus proved that to every proposition / there corresponds its uniquely determined additive normal form. One example of this kind was considered above. Wednesday and Friday. It is also required that the time-table should satisfy the following conditions. etc. it is evident that if two compound propositions /1 and / 2 reduce to one and the same form (*) they must be equal. Finally. Let us consider a simplified curriculum in which there are only three educational days a week. a proposition p is contained in the expression of fa but is not contained in the expression of / 2 we can write / 2 in the form Î2(P + P) which involves the prime proposition p. 72 . It is required that during a week the pupils should have ihree lessons in mathematics.in the disappearance of all the terms in the sum / we shall have / о If otherwise. Obviously. p3 and /?4 are true while the proposition p 2 is false. q. Below is one more problem whose mathematical content is close to that of the "swimming problem" solved above..4 and form (*) of a proposition fa involves the summand PiPlPsPi while form (*) of a proposition / 2 does not involve such term the proposition Д is true if the propositions p. it cannot be true in the latter case.

(5) The English teacher insists that his lesson should be the last and. (7) In this curriculum there are only 3 + 2 + 1 + 1 + 4 .Hj. .Ej andLy(where / = 1.1 = 8 lessons a week while the total number of possible •essons is 3 X 3 = 9 and hence once a week the pupils have only two lessons. . = л / з л л й ы л м г * .Ph9 (Pht Ь Phj + Ph-7) PhriPhHl>h(i ^ i (3) и . The last requirement to be satisfied is hat the pupils should have time of leisure either instead of the last lesson on Friday or instead of the first lesson on Monday. (3) The history teacher can only teach on Monday and un Wednesday. respectively. (4) The chemistry teacher insists that his lessons should not be on Friday and that the day he has his lesson the pupils should have no lesson in physics. (6) It is naturally required that every educational day Ihe pupils should have not more than one lesson in every subject. Chj. English or is the time of cisure. 9) meaning. Phj. The conditions of the problem can now be written 4 the following system of relations: (1) /. besides.( Я 4 + F f z + H 5 ) ( / / j //.(1) The mathematics teacher insists that his lessons should never he the last and that at least twice a week they should he the first. then to solve the problem we must stablish the truth or the falsity of the 54 propositions 11 j.! . on the contrary. history. besides. physics. besides. chemistry.Ph?Phe../: 73 . 2. at least once a week he wants his lesson to he the first. (2) The physics teacher does riot want his lessons to he the last either. i M f 7 + (2) / 2 . he cannot teach on Friday. How can the time-table satisfying all these conditions he worked out? Let us index the 9 possible lessons in succession by the numbers from 1 to 9./•: // . that the /th lesson is devoted to mathematics. he wants to have the first lesson on Friday.. he wants to have the first or the second lesson on Monday or the second lesson on Wednesday. he does not want his lesson to precede the English lesson. . on Wednesday his lesson must not he the first while.

Friday: physics. mathematics. chemistry. Likewise. physics. Ch7ChHCh9 (Ph.Ch2-\-Ph. Wednesday: mathematics. this form is also uniquely determined for a given proposition and characterizes completely the whole class of the propositions equal (equivalent) to that proposition. English-. .. where the dots symbolize 54 — 9 = 45 multiplicands entering into each of the two terms of the sum / with the sign of negation (the bar). history. mathematics. (1) Monday. Pn) can also be brought to its multiplicative normal form1) / = 11 (р[+р'г+ . it should be noted that every compound proposition / = f (Pi. ... Friday: physics. English-.(4) /4 .Ch3 + Ph2Chi + Ph2Ch3+ + • • • 4. 4. . . there are only two ways of working out a time-table satisfying all the requirements stated'.+ (7) f 7 = L t + LB = i This system Ë7ËsË9 = i . chemistry.Ph^E^M . 74 proposition .PKCh-. . Hence..+MaM9) X Ph8Ph9) = i of relations is equivalent to one equality / = /1/2/3/4/5/6/7 - * The additive normal form of the proposition / is f - M\H2Ch9M^РкъЕePh7M8L9 + M-.. mathematics. Pi. history. The proof of this assertion is quite analogous to the argument which we used in proving that every compound proposition f 1 ) In mathematical logic form (**) of a composite is usually referred to as its conjunctive normal form. • • -. or (2) Monday: mathematics. + Ph7MHL9 . . physics.+Pn) (**) where the symbols p] have the same sense as in formula (*) and all the terms in the product are pairwise different.Ph9Chs) = i (5) /5 E3 + E6 + E9 + E2L3 + E5Le + ESL9) (6) fe = (MtM2 + MiM3+M2M3+MiMs+ X (PhiPhi -f PhtPh3 + . time of leisure". time of leisure. Wednesday: mathematics..

Dx ZD S. Z>2 M and M ZD D2 Therefore M = D2 and. d2=>F while from Dt ZD S and S zd F it follows that £>! => F Thus. Since only one of these propositions is true we conclude that the proposition F is true" and so on. the above argument can be stated thus: "by the conditions of the problem. Such a pupil would replace equalities (l)-(5) and their formal transformations presented above by a "non-formalized" argument (that is an argument which is based on "common sense" instead of the laws of logic stated in a rigorous way) such as the following: "if the father went swimming on Sunday morning then the mother and the son would go with him. It is however quite evident that an argument of this kind is in fact also based on the rigorous laws of propositional algebra and that the so-called "common sense" exactly follows these laws. Let us discuss the instructive comparison of the solution of the problem presented above with a solution which can be given by a pupil who is not familiar with elements of mathematical logic. from proposition F follow propositions Dx and D2. * * Let us come back to the "swimming problem". however. instead of the first distributive law we must use the second one. the difference between the proofs is very slight. for instance. For instance. we have M ZD F and S zd F Besides. Thus. since only one of the daughters went swimming that morning the father could not go swimming" and so on.can be brought to form (*). but the first daughter would follow the son and the second daughter would go together with her mother. consequently. the "formalization" of ordinary inferences which was demonstrated in the solution of the problem we presented above reduces simply to the exact enumeration of all the conditions used 75 .

the programming of the work of a computer is based on the laws of mathematical logic and. in particular. the problem of working out a real time-table for an educational institution has a similar character because it is necessary to take into account many interrelated conditions such as the wishes and the possibilities of teachers and pupils or students. lectures. on "propositional calculus" to which Sees. 5 and 6 of the present book are devoted. This binary operation forms a new proposition called the implication of propositions p and q\ we shall write this operation as q p. (cf. etc. . laboratory work. then an elephant is an insect" or. which is the same. which is the same. . ." or with the word "implies". thus. then "the proposition q => p means: "if Peter is an excellent pupil. then . "q implies For instance.. the proposition q => p reads: "if q. * The relation p ZD q between two propositions p and q plays an important role and that is why it is advisable to consider one more binary operation of algebra of propositions which is connected with this relation. Problems of this kind are rather often encountered in practice. "from the fact that Peter is an excellent pupil it follows that an elephant is an i usee Г or "the fact that Peter is an excellent 76 . if the propositions q and p are "Peter is an excellent pupiF and "an elephant is an insect". At present many problems of this type are often solved on electronic computers. lessons. the necessary alternation of subjects of different character and different difficulty. A traffic controller deals with a similar problem when introducing a rational dispatching system and the like. The solution of the "swimming problem" can easily be obtained by using an electronic computer because the rules of propositional algebra on which the solution given in this book is based can easily be inserted in the "memory" of the computer and the further course of the solution becomes automatical. . the problem mentioned on pages 72-75).p is formed of the propositions q and p by connecting them with the expression "if . respectively. For instance. The proposition q =>. then p" or.in the argument and to the introduction of mathematical symbols making it possible to write in a concise form both the given conditions and the course of the solution.

in case the proposition q is false the proposition q =Ф. "if all the sides of a quadrilateral are equal.p.pupil implies that an elephant is an insect". the operation q p is non-commutative. The relationship between the implication q p and its converse p =>. It should be stressed that there is a great difference between the operation of forming an implication q p (this is one of the operations of propositional algebra) and the relation p zd q. it connects only some pairs of propositions. the proposition p =>. then all its sides are equal"). the statements of a direct theorem and the corresponding converse theorem are not necessarily equivalent: one of them may turn out to be true while the other can be false. if a pupil whose name is Peter has bad marks we shall consider the above proposition q =>.p is true for any proposition p (because a false proposition q implies any proposition p). as any other proposition. The implication p =>. the composite proposition q => p is equivalent to the proposition "the relation p zd q takes place". generally. For instance. the implication p =>. we shall consider an implication q =Ф. then its diagonals are mutually perpendicular") and the converse theorem "if p. At the same time. in the general case. We should stress a peculiarity of the implication q p of two given propositions q and p: in contradistinction to the operations of forming the sum ("disjunction") p + q and the product ("conjunction") pq of propositions. As to the relation p zd q.p which means "if Peter is an excellent pupil then an elephant is an insect" to be true. As is well-known.q is quite similar to the relationship between the direct theorem "if q. The composite proposition q => p can be formed of any constituent (prime) propositions p and q.q is called the converse of the implication q=>p. that is. thus. then p" (for instance. By definition.q called the contrapositive of the implication q => p is equivalent to the latter for the relation p zd q holds when and only when the relation q zd p holds I'he relationship between the proposition q p (which 77 .p to be true when and only when p zd q. then q" ("if the diagonals of a quadrilateral are mutually perpendicular.q differs from the proposition q =>. Therefore. the fact that the relation p zd q holds is not a proposition but is a fact concerning these two propositions p and q. the proposition q => p may turn out to be true or false.

the theorem p => q is equal to the direct theorem q p. The biconditional proposition q <=> p reads: "p. — Tr. then all its sides are not equal". for the propositions p and q given as examples on page 76 the proposition q <=> p reads: "Peter is an excellent pupil if and only if an elephant is an insectThe last statement is a new proposition (although rather funny!): the operation of forming the biconditional proposition from two given propositions q and p is also a binary operation of propositional algebra which assigns to every pair q and p *) Instead of "if and only if" in English mathematical literature is often used the expression "iff" which is the abbreviation for the former. if and only if q"x). 78 . then its diagonals are mutually perpendicular") and the converse of the theorem which is the inverse of the original theorem. and the converse of the latter is the implication p => q (to the example of the direct theorem we have given there corresponds the converse of the inverse asserting that "if the diagonals of a quadrilateral are not mutually perpendicular. then q" (because the property "if а ZD b. then p") and its contrapositive p q (that is the proposition "if p is false then q is also false') is quite similar to the relationship between a direct theorem (for instance. in mathematical logic is sometimes considered the so-called biconditional proposition formed of two propositions q and p. For instance. By the inverse of a theorem (implication) q p is meant the implication q =>. we shall denote it by the symbol q <=> p. As to the implication q p expressing the inverse of the theorem (implication) q =>.p. it is not equivalent to the direct theorem (q => p) but is equivalent to the converse theorem (implication) p => q which means "if p. "if all the sides of a quadrilateral are equal. Together with the implication q p. then it is false that all its sides are equal"). "if the diagonals of a quadrilateral are not mutually perpendicular. In other words. then its diagonals are not mutually perpendicular").p (in the case of the above example.p is the theorem which reads: "if it is false that all the sides of a quadrilateral are equal.means "if q. then b ZD a" which is one of the basic properties of the r e l a t i o n s implies that the relations q ZD p and p ZD q hold or do not hold simultaneously). q =>.

multiplication of propositions and the operation of forming the negation. For instance.p as Q =>• P and the truth set of the proposition q p as Q <=> P. In contrast to the implication q =$* p of two propositions q and p. that is in terms of the operations of addition of propositions. It follows that Q^P = Q + QP and consequently Thus.a). a biconditional proposition q <=> p is t r u e l a n d o n l y if e i t h e r b o t h p r o p o s i t i o n s q a n d p a r e t r u e o r 7!) . It is quite clear that the relationship between the biconditional proposition q <=> p and the equivalence relation p — q is similar to the relationship between an implication p and the relation q гэ p: the proposition q p is true when and only when the equivalence p q takes place. Let q and p be two arbitrary propositions and let Q and P be their truth sets respectively. Similarly. We shall denote the truth set of the proposition q =>.p formed of two propositions q and p can be defined in terms of the basic operations of propositional algebra. 28. then an elephant is an insect" is equivalent to the proposition "Peter is not an excellent pupil or Peter is an excellent pupil and an elephant is an insect". . the above proposition "if Peter is an excellent pupil.of propositions a new proposition which we denote q <=> p. the biconditional proposition is commutative: the propositions q <=s> p and p <=> q are equivalent for any two propositions q and p. It is obvious that the implication q => p is true if and only if either the proposition q is false (a false hypothesis implies any conclusion) or the propositions q and p are simultaneously true (a true hypothesis implies any other true statement). according to the last relation. the implication q =>. that is we always have (p <=> q) = (q p) The notion of the "truth set" of a proposition (see page 55) makes it possible to extend the new operations q => p and q <=> p of algebra of propositions to algebra of sets. This means that the set Q =>• P is the union of the complement of the set Q and the intersection of the sets Q and P (see Fig.

Hence. 28.QP + QP It follows that the biconditional proposition q p formed of two propositions q and p can also lie expressed in terms of the operations of propositional algebra studied earlier. namely: q p-^qp + qp T h e f o r m u l a s we h a v e w r i t t e n r e a d i l y s h o w t h a t th« oper a t i o n < = > of forming a b i c o n d i t i o n a l p r o p o s i t i o n is a 80 . the set Q <=> P is the union of the intersection of the sets Q and P and the intersection of the sets Q and P (see Fig.h): Q <=> P .P=>Q Ce) Fig. 28 both propositions q and p are false.

q of the implication q=> p is equivalent to the latter: p=>q--= (P) + P(1 = P + P<7 = Я + P7 = 9 P because from Fig. P => Q of the converse p =>. . However. for instance. Similarly.q = p + pq = p (q + q) + pq = = P?-!-p? + p? = p<? + (p f-p)q = pq + q ^ q + qp = q ^ p (here we have used the commutative.</p = p <=> <z but (see Fig. where the truth set. the contrapositive p =>.p is equivalent to the converse p => q of the implication q => p: q ^ p = q + qp = p + pq = p=^q * The formulas q =>• p = q' -f qp and q <=> p = qp + qp express the operations =4. the "Boolean multiplication" of 81 . it also turns out that the three original operations + .and • in terms of the other and the "bar" • peration.commutative operation of algebra of proposition? while an implication q => p is non-commutative: 4 P = 4P -. That is why.q of the implication q is shown). 28.and <=> in terms of the basic operations of addition and multiplication and the "bar" operation of the Boolean algebra.q of the implication can also be proved without resorting to the Venn diagram: p =>. For instance. • and — are not independent: using the De Morgan formulas we can express each of the two operations -(. the associative and the distributive laws and also the identities pi = p and p + p = i). although. On the other hand. the operation of forming an implication is highly important we do not include it into the list of the basic operations which form the foundation of the definition of a Boolean algebra. 28c. The equivalence between the implication q p of propositions q and p and the contrapositive p =>. the proposition q =>.a it is seen that the sets Q => P = Q + QP and P Q = P + PQ coincide.

C. Sheffer. that is « IP = P I« 3 ) IT.B.a). 29 propositions can be defined thus: pq = p + q Moreover. В. . an American logician of the beginning of the 20th 82 century. . This makes it possible to reduce all the variety of operations used in Boolean algebras to a single operation and its various combinations. . • and — can be expressed. One of the well-known operations of this kind is the socalled (Sheffer1)) stroke operation a | p (here a and p are elements of an arbitrary Boolean algebra) which is expressed in terms of the "Boolean multiplication" and the "bar" operation as a I p = ap In the case when the Boolean algebra in question is an algebra of sets whose elements А. 29. the operation of multiplication AB and the operation of forming the complement A of any set A are defined as was done in Secs. M. . it turns out that there is an operation defined in Boolean algebra in terms of which all the three operations + . The Sheffer operation is obviously commutative. 1 and 2. are some sets for which the operation of addition A -f.Fig. the Sheffer operation A | В reduces to forming the intersection of the complements of the sets A and В (see Fig.

from the basic properties of the operations of a Boolean algebra il follows that (a I p) I (a I P) = (Tp) (âfj . if we take the Sheffer operation a | p as the basic one if is possible to define а + P. у of a Boolean algebra (cf. F. the "bar" operation assigns a new element a to one element a and is an example of a "unary" operation. p.[(a) + (F)I I W (a I a) I (PIP) Н^Ш(1) f (1)1 . 7 } defined as {a$y} = ap + p7 + ya .а (а Ш J (a IP) = (« + Р) I (â f P) гР = а + Р â'P i а P - ap and ( а | а ) = а-(-а = а Therefore the operations а + p.a + p Ь(Р)1-оф and (ce (а) = а а — а Thus.xercise 6 on page 23). MO) . а р and a as (a J P) | (a | P). P. The role analogous to that of the Sheffer operation can also be played by another binary operation a j.ВС С A is the set coinciding with the union the painrise intersections of the sets Л . can readily be seen of the sets A and B\ s e e F i g .) For an algebra of sets the element {ABC) = Л В -f. Further. а р and a can also be defined in terms of the operation a j p. В and С (see F i g .for any a and (3. p defined as а|Р = а+Р (for algebra of sets the operation A j В reduces to forming the union of the complements It. p. 2 9 6 ) . (The operations + and-which assign new elements to any pair of elements of a Boolean algebra are binary operations. that ( а | а ) И Р 1 Р ) = Г м Г ^ ) + (Р + Р) . 7} to every triple of elements а .(a + p) (P + 7) (V + a) This operation assigns a new element ô — {а. The definition of a Boolean algebra is sometimes stated using only one "ternary" operation {a. (a I a) I (P I P) and а | a respectively.

. p.a a 1 — {au}-= i and ао = {аоо}^-=о S4 .a The operation a can be de-fined with the help of the ternary operation {aPy} by means of the following condition similar to the idempotent law we have written: {aâp} = p (A) Since this condition is symmetric with respect to the elements a and a it obviously implies that a = a Further. The ternary operation { } is obviously commutative with respect to the interchange of any two of the elements entering into it: {офу} = {Pva} Fig.and ai = (aio) — {an} . for this operation there holds a law analogous to the idempotent laws for addition and multiplication: {aap} =. whicli is the same. we shall also have a + 0 = (ctoi) =• {an} = a.*|i ! {yap} !PaVf (#%! Further. if we fix a "special element" i among the elements a. with the intersection of the pairwise unions of these sets. this operation possesses a certain kind of distributivity: {aP{Yfie}}^{{aPY}Ô{aPe}} It also possesses a (weakened) associativity: {ap{apô}} = {{apv}pô} Finally. . 30 J T. forming a set for which the ternary operation {офу} is defined and put i = о then it is also possible to define the basic (binary) operations of the Boolean algebra in terms of the ternary operation {аРу}: <x + P = {aPi} and ар = {сфо} (В) By virtue of (A) and the idempotent law.or. 7. .

P\P consequently. 7 P .« -I.4P . In prepositional algebra the Sheffer operation p | q and the ternary operation {pgr} have the following meaning: p I q reads: "neither p nor q is true" (that is why in logic the Sheffer operation is sometimes referred to as the joint negation) and the proposition {pqr} reads: "at least two of the three propositions p. if the implication q=> p is true and the proposition q is true then the proposition p is also true. Further. Using algebraic symbols we can express this relationship as P => (7 =>. This obviously follows from the expression of the implication in terms of the other operations of a Boolean algebra: we have q =>.P) 7 In other words.p ~ q + qp and consequently (7 P) 7 (7 + qp) 7 .Definitions (A) and (B) make it possible to state all the properties of the operations of the Boolean algebra so that the corresponding expressions involve the ternary operation {сфу} solely.[(p ! P) I (q I 7)1 [((p I p) I (p I P)) I ((7 I 7) I (7 I 7))] With the aid of the ternary operation {pqr} the sum ("disjunction") and the product ("conjunction") of two propositions p and q are expressed thus: P + q = { № } and * * pq = {^70} We have already discussed the relationship between the operations q=> p and the relation q zd p. we have P + 7 = (P I 7) I (P I 7) pq = (p I p) I (<7 I q) and P = and.q + 4P and 1(7 I 4) I {{P I P) I (7 I ?))] I 1(7 I 7) I ((p \ p) I (7 | ï))] p = pq + pq = r\r where Г -.'IP 85 . q and r are true".

('! =>. this can be regarded as an implication q => p). a typical syllogism is: "All men are mortal (that is if N is a man then N is mortal. for instance. Consequently. consequently. q ZD q pr -= (q => p) (p <=> r) r 86 °-i-o^--qpr . we have (ч=>р) (p — qp(rr) r ) r = С 7 + pq) (pr + pr) r - + qpr + pq(rr) + (pp)'ir- ° + я?r4 and.whence it follows that P => IP . Peter is a man (q). Peter is mortal (p)". this can be written as an implication q =>• p). The logical statement expressed by the relation q=>(q=> p) p is also true. The last relation also readily follows from the formula for the implication: we have (q p) p = (q + pq)p = чp + (pp) q = qp + o = qp and therefore q ZD {q => p) p = qp. Consequently. Paul reasons illogically (p). we have q ZD (q => p) (p <=> r) r which means that if q implies a proposition p. Here is an example demonstrating the application of the logical rule q ZD (q p) p: "All mathematicians reason logically (that is if N is a mathematician then he reasons logically. it means that if the implication q =s. p is equivalent to r and r is false then q is also false. Indeed.p is true and the proposition p is false then the proposition q is also false.p) q expresses the form of a logical statement known as the classical syllogism. Similarly.p) q The relation p zd (g =>. by Virtue of the formulas expressing the implication and the biconditional proposition. Paul is not a mathematician (q)".

"lawyers speak well\ \ is not a lawyer. Ы . Ibis proposition is an implication q => p). A quadrilateral is a parallelogram if and only if its diagonals bisect each other (p <=> r)". particularly. we have (. Therefore it is false that all the sides of the quadrilateral A BCD are equal (q)". are rather frequently used. consequently A BCD is a parallelogram"). p is true. of course. The diagonals of the given quadrilateral A BCD do not bisect each other (r). . a rhombus. In contrast to the above. That is why the following two statements (which. by non-mathematicians) do not follow from the rules for deduction and are therefore incorrect (it should be noted that an electronic computer which was "taught" the theory of Boolean algebras can never make ^uch a mistake!): "q implies p.Here is an example of an argument following this rule: "If the sides of a quadrilateral are equal then the quadrilateral is a parallelogram. more precisely.q =>p) p^ (q + qp) p = qp -f qp = (q + q) p = ip = p and (q p) q = (q + qp) q = q + (qq) p = q -f op = q and the relation qZD p and the (equivalent) relation pzDq do not.i nd u q implies p\ the proposition q is false\ therefore the pro•sition p is also false" (for instance. (or. therefore the proposition q is also 'rue" (for instance. "opposite sides of a parallelogram are equal\ the opposite sides AB and CD of the given quadrilateral AHCD are equal. unfortunately. consequently N does not speak well"). follow from the rules of propositional algebra and may not take place. the following two relations may turn out to be false: ? =5 (q=> p) p and p=>(q=>p)q Indeed.

q and r themselves but not over their combinations: (a) p q\ (P + q) r(C) (p + q) (d) /><=>(/> + q).The examples we have considered (their number can easily be increased) demonstrate the role which mathematical rules of propositional algebra play even in everyday life. Find which of the following propositions are true and which are false: (a) p + q^ p. (e) pq <=> qp. (b) (c) (d) (p + q) [(/> + r) =*(</ + r)h pq <=> rs. Rewrite the following proposition in the form involving only the addition (disjunction) and the "bar" operation (negation): (a) q=>(p + q). (b) pqr + p + q + r. (d) (p => p) <=i> p. (c) (p + q) (q + 0 (r + p) to (1) form (*) (see page 70). (c) (p =>p) <=s> p. 4.q. 3. Reduce the composite propositions (a) pq + p 4. (b) pq q. Exercises 1. Write the negations of the following propositions in the form which only involves the sign of negation (the bar) over the propositions p. (b) 88 . 2. pq=>q. and to (2) form (**) (see page 74).

it is these sections t h a t are elements of the peculiar algebra under consideration (earlier we used capital letters for denoting sets). we shall consider any two sections which are similar in t h i s sense to be identical ("equal"). Propositions and Switching Circuits Here we shall discuss one more example of a Boolean algebra which m a y seem rather unexpected. As the elements of this algebra we shall consider various switching circuits. 31 -AB A+B (b) (a) Fig. Since a section of an electric circuit is only meant for conducting an electric current. see a section shown in Fig. 31) will be denoted by capital letters. Separate sections of such a circuit (for instance. t h a t is electric circuits with a number of switches each of which can be open or closed. In other words. 7. 32 8У . Express the implication proposition (<=>) in terms of (a) (b) the operation the operation (=>) and the biconditional \ (see page 83). Fig. {}. any two sections containing the same switches and simultaneously permitting or not perm i t t i n g passage of current for the same states of all the switches (every switch can be in one of the two states: "open" or "closed") will be considered "equal" to each other.5.

see Fig.1 ВС . For instance. 35 Further. let us agree that by the sum A + В of two sections A and В will be meant a circuit with these two given sections A and В in parallel connection and t h a t by the product A B will be meant a circuit section with the sections A and В in series connection. 33 (A+B)C AC+BC (a) Fig. 34 AB+C (A+C)(B+C) С (V С (b) Fig. 32.a and b where each of the sections A and В of the circuit contains only one switch.1В (С) = А (ВС) Du ..-/IВ С Л+В+С (b) (aj Fig. It is clear that the addition and the multiplication of the sections of an electric circuit are commutative: A + В = В + A These operations are also (A + В) + С - and A B = BA associative: Л + (В + С) - /1 + В + Г and .

i hose laws also hold here (it can readily be checked that (he switching circuit shown in Fig. 35.ipen or closed simultaneously) are in series connection or il parallel connection the resultant circuit section gives ilie same result as a single switch in that state. 36 AI=A A+0=/l (a) (b) Fig. 34 and 35.6). It is evident that A + О = A and AI = A and AO = О (see Fig. let us agree that I denotes an always-closed switch (Fig. i'he idempotent laws A + A = A and AA = A : so hold for these operations because when two switches which are in one and the same state (that is when they are .a is "equal to" the circuit in Fig. more complicated. 37 91 . 37) and t h a t A + f = I I -o -o—o(a) 0 o- (b) Fig.a) and Jet О denote an always-open switch (Fig. 36. 34.I-co Fig. However. as can be seen from Figs.a is equal to that in Fig. 33a and 6 where the "triple sum" /1 + /? -f 6' of three switches and their "triple product" ABC are shown). The verification of the distributive laws [A i. 36. 34.6 while the circuit in Fig.6). 35. Finally.В) С = AB + BC and AB + C = = (A + С) (В + C) in this "algebra of switching circuits" is a little.

a and b). 41. 40 (see Fig. T^O and and 6=1 also A+ A= I and AA = 0 (see Fig.a and h where the sections A -f. 39).V A+1=1 I (a) A0=0 (b) F i g . the roles of the "special" elements / and О of this Boolean algebra are played by the circuit sections equal to an always-closed and an always-open switches respectively.-o— A F i g . Thus.Â В and ÂB = A + П are proved in a more intricate manner but they also hold in this algebra (for instance. see Fig. 38 • . Let us also agree to denote as A and A a pair of switches such that when the switch A is closed the switch A is necessarily open and vice versa. such a pair of switches can easily be constructed' (see Fig. 39 (*) (ь) F i g . 38).В and A + В of the circuit satisfy the condi- . It is evident that X=A. The De Morgan rules Â+B . 40.

this similarity makes it possible to model composite propositions by means of electric circuits. In the first place. the multiplication of propositions and the "bar" operations are understood in the ordinary sense as the ''igical connectives "or". b and с are some "prime" propositions and the addition. 42 which corresponds to the combination D = ABC + ABC 93 . The similarity between the "algebra of switching circuits" and the "algebra of propositions" is extremely valuable.- V л • - -О— в (b) Fig. Let us associate some switches А. 41 в с r fi v c и ABC+ABC= =A(BC+BC) Fig. "and" and the negation of a proposition respectively. 42 lion that when the section A В permits passage of current !he section A + В does not and vice versa). b and c. В tnd С with the given propositions a. then the composite proposition d can be represented by the circuit in iig. For instance.A8=A+B А+В=АВ а П Г\ -А+В вГ -АВ W —•О. let us consider the composite proposition d = abc + abc where a.

Let us denote as A and В the switches in the circuit. In case the circuit D does not permit passage of current (that is it is "equal" to the circuit 0) for the given states of the switches then the proposition d is equivalent to the false proposition о when a and b are true while с is false. for instance. the propositions a and b are true while the proposition с is false it suffices to close the switches A and В in the circuit D and to open the switch С (see Fig. Here we shall give two examples to demonstrate what has been said. that is transforms 94 . В and C. The condition which must be satisfied is that when each of the switches is operated on the circuit must become open if it is closed before the operation and must become closed if it is open before the operation irrespective of the state of the other switch. in this case the proposition d is true. If the circuit D with the switches А. To verify whether the proposition d is true when. Solution. В and С in these states permits the electric current to flow then D corresponds to the true proposition i (that is to the circuit I conducting electric current). * Example 1. In the second place. the similarity between the algebra of switching circuits and the algebra of propositions allows us to use the rules of logic for constructing switching circuits satisfying some given conditions (which can be rather complex). 43). The problem reduces to designing a combination С of the switches A and В (and perhaps A and B) such that the change of the state of any of the two switches changes the state of the whole circuit С to the opposite. In other words. 13 of the switches А.A - '• с С Л V_ - B F i g . It is required to design an electric circuit for a bedroom with one electric lamp and with two switches one of which is by the door and the other by the bed-side.

Now. passing back from the propositions to the switching circuits we see that the electric circuit С we are interested in can be expressed by the formula С = АВ + Л В The construction of such a circuit clearly involves no difficulties (Fig. since the descriptions of the summands of the sought-for sum involve the connective "and" we conclude that these summands are ab and ab Thus. 37 95 . we have 1o find a combination с of two propositions a and b such that the replacement of the true proposition a by the false proposition à or vice versa changes to the opposite the sense (the "truth" or the "falsity") of the whole proposition c. This description of the circuit involves the connective "or". which hints that it is possible to represent the proposition с as a sum of two propositions one of which is true when a and b are true while the other is true when a and b are true (that is when a and b are false).ab It can readily be seen that this proposition с satisfies all the requirements stated above. The condition stated is satisfied by a proposition с which is true when both propositions a and b are simultaneously true or simultaneously false and which is false in all the other cases (that is when one of the two propositions a and b is true while the other is false). Further. and the same requirement refers to the proposition b. we finally obtain с = ab -). In other words. 8 V "л /48 M B в Fig. 44).the circuit permitting the passage of current into the one not permitting it and vice versa.

besides. (2) both outer doors (of the lift shaft) are closed while the door of the car is closed or open. 96 . Let us denote the switches in the circuit as follows: S—the switch which is closed only when the car is on the second floor. Solution. F—the switch connected with the floor of the car. we shall also confine ourselves to the circuit controlling the downward motion of the lift1). there is no person in the car. D—an analogous switch connected with the door of the car. Bd and Bc—the switches connected with the descent button in the car and with the call button by the lift shaft door on the first floor respectively. It is required to design an electric circuit for controlling a lift. when one of the two following conditions is fulfilled: (1) the outer doors on the first and on the second floors and the inner door (in the car) are closed.Example 2. two switches connected with the outer (lift shaft) doors on the first and on the second floors which are closed when the doors are closed. a switch connected with the door of the car (the inner door) which is closed when the inner door is closed and a switch connected with the floor of the car which is closed when a person is in the car and the weight of the person exerts pressure on the floor. a person is in the car and pushes the descent button. This circuit must involve two switches (push-buttons) one of which is in the car (the descent button) and the other is placed by the lift shaft door on the first floor (the call button). a person on the first floor presses the call button. The electric circuit controlling the downward motion of the lift must be closed only when the car is on the second floor and. we shall assume thai there are only two floors'. The circuit also involves the following additional switches: a switch which is closed only when the car is on the second floor. According to the conditions of the problem the sought-for circuit Cd controlling the descent of the lift must be closed (must conduct electric current) only if: (1) the switch S is closed and the switch Di is closed and the switch Dz is closed and the switch D is closed and the 1 ) The circuit controlling the upward motion of the lift can he designed in just the same way (see Exercise 6 on page 100). For the sake of simplicity. D{ and D2—the switches which are closed when the outer doors on the first and on the second floors respectively are closed.

* We also note that the possibility of expressing all the operations of a Boolean algebra in terms of only one Sheffer operation (see Sec. 4B). Such an element can easily be constructed (see rig. 45). to this end we can agree that to -420 97 .F >y Î c^o Bc Fig. For instance. 6) is equivalent to the possibility of designing any electric switching circuit using only one special component (we denote it 2 ) with two inputs and one output such that the output electric current can flow if and only if neither of the inputs is supplied with electric urrent. Taking into account that the logical operation "and" corresponds to the product of propositions (of switches) and the logical operation "or" corresponds to their sum we readily find Cd = SD^DFBa + SDtDz (D + D) BCF Using the equality D+ D= I and the property of the switch I {AI = A for any switch A) and also the commutative law for multiplication and the distributive law we can simplify the expression we have derived: Cd = SDtD2 (FDBd -f J'BC) Such a circuit can easily be constructed (see Fig. 45 switch F is closed and the switch Bd is closed or (2) the switch S is closed and the switch D{ is closed and the switch D2 is closed and the switch D is closed or open and the switch Bc is closed and the switch F is open.

In Fig.иззъ (а) (b) (d) (с) Fig. 47.a-c the sum A -f. pages 82-85). An analogous role can also be played by a component M with three inputs and one output such that the output current can flow only when at least two of the three inputs of the element M are supplied with electric current (see (he scheme in 98 . 47 к (b) (e) (I) (c) (d) (g) (h) F i g . 49 every section of the circuit there correspond two conductors through one of which the current flows permanently. 48 (a) (b) Fig.В and the product AB of two circuits A and В are shown and also the scheme of the circuit A corresponding to the circuit A constructed with the aid of the "Sheffer component" S (cf. 46 НУ A+B vn> m - AB A U В НУ a () (b) (c) Fig.

the element M corresponds to the operation {ABC} — AB + ВС + С A = (A + В) (В + С) (C + A) of the Boolean algebra. pagej 83). В. В. С and D (and also perhaps the switches А.Fig. (b) Design an analogous circuit for a committee consisting of a chairman and five members. Design an electric circuit with . Draw switching circuits corresponding to the following composite propositions: (a) ( a + b ) J c + J ) (b) abc + ab + a (o) abc -f. В. the bulb in the circuit must only be switched when the majority votes for the proposal. 48.> lamp making it possible to switch on and to switch off the light by means of 99 . cf. 4. Exercises 1. В.abc -f. С and D) such that (a) the circuit E is closed only when all the switches A. 5*. (b) the circuit E is closed only in the case when some but not all of the switches А. It is required that the lamp should give light only in the case when the majority votes for the proposal or when the numbers of the votes for the proposal and against it are equal and the chairman voles for the proposal.abc (d) {a + b) (à +b) + ab + ah 2. С and D are closed or none of the switches is closed. Sketch switching circuits corresponding to the propositions (a + с) (b + с) {a + d) (b + d) and ab + cd and check the "equality" of these circuits. (a) A committee consists of three members. Design an electric circuit E containing switches A. In Fig. С and D are closed. 49a and b we see how the "addition" and the "multiplication" of two circuits A and В can be realized by means of the element M. 3*. Design an electric circuit showing the results of voting: every member of the committee presses a button when he agrees with the proposal under discussion.

I1 I= 1 One of the most important applications lies in the of the so-called probability theory on which. however. 1°. and (2) if ctp = o.0 must not necessarily be included into the list of conditions defining a norm. then |a+p|=|a|-f|p|. A Boolea n algebra consisting of elements oc. the equality | i | — 1 specifying the "unit norm" is not very important either. In this section we shall discuss one notion which is directly related to the notion of a Boolean algebra and has very many applications 1 ). the conditions | a | ^ 0 and | i | > 0 arc essential. and containing a "zero" element о and a "unit" element i is called a normed Boolean algebra if to every element a is assigned its "norm" ("absolute value") | a | which is a nonnegative number satisfying the following two conditions 2 ): (1) 0 < I a | < 1. For the conditions of Example 2 on page 96 design an electric circuit controlling the upward motion of the lift. . 6. The "algebra of two elements" (see page 25) consists of two "numbers" 0 and 1. conseq u e n t l y . unfortunately. Normed Boolean Algebras The material of Sees. у. These numbers can be taken as the norms of the corresponding elements: I 0 I == 0. (Similarly. | i | = 1. 1-6 of this small book does not exhaust the extensive theory of Boolean algebras.) 100 . The notion of a Boolean algebra can be generalized in various ways. the equality [ о | =. . dwell in the present small book. * * 8. Examples. using property (2) we can prove that | о | = 0 and. I о I = 0. p. 2 ) From the fact that a o = о and a + о = a for any of the Boolean algebra and from condition (2) it follows | a | = |a + o| = | a | + whence foundation we cannot element a that |o| Iо1 = 0 Thus. etc.(a) three independent switches (cf. . Example 1 on page 94): (h) n independent switches.

Condition (2) will also he fulfilled because the only pair of nonzero elements of this Boolean algebra whose product is equal to zero is the pair of the elements p and q. Now we shall consider an example which elucidates the essence of the notion of a normed Boolean algebra itself. we shall also assume that the universal set (we denote it J here) is finite. since 0-0 = 0 and | 0 + 0 | = 0 . Let the Boolean algebra under consideration be the algebra of sets which we considered in Sec. 2°. Ip \ ~ p and \q\ = q Then condition (1) will be fulfilled. in order to satisfy conditions (1) and (2). therefore. and we have |р + д | = | 1 | = 1 = р + д = | р | + 1 < 7 | Thus.1 and I p I+ Iq I = I1 I = 1 Let the "numbers" (elements) p and q entering into the definition of this Boolean algebra be two arbitrary positive numbers whose sum is equal to unity and let I1 | = I 0 I — 0. For the "algebra of four elements" considered in Example 2 on page 27 we have pq ^ 0 and p + q = 1. Further. we must put I 0 I = 0. let J contain N elements. for the condition \ J \ Л to be fulfilled the proportionality factor must obviously be 1/Ar so that | A | is the ratio if the number of elements contained in A to the number of 101 . I1 I . this Boolean algebra of four elements with the absolute values (norms) of the elements we have defined becomes a normed Boolean algebra.| 0 | + | 0 | 0-1=0 and I 0 + 1 I= 1 = I 0 I+ I1I condition (2) also holds.Then condition (1) oî the definition of the norm of an element is obviously fulfilled. 1.) Hence. 3°. for any Boolean algebra in which condition (1) holds condition (2) also always holds if at least one of the elements a and |3 coincides with о because in this case ao = о and | a -j.о | = | a \ — -= I a I + 0 = I a I + I о |. with this definition of the norm of an element the Boolean algebra of two elements 0 and 1 becomes a normed Boolean algebra. (Generally. Let us define the norm of any subset A of the universal set J as a number proportional to the numbers к of elements contained in A. for instance.

ait. the Boolean algebra in question with the norm of the elements we have defined is a normed Boolean algebra. its "price" is 1000 times that of a pawn. in a r c course pairwise different).. . . Condition (2) is also fulfilled and its meaning is quite clear: if two sets A and В do not intersect (that is AB = 0) then the number of elements contained in their sum can simply be obtained by adding together the number к of elements in the set A and the number I of elements in the set В whence it follows that \A + B\ = k+L = ±. • • -. . . it is also convenient to choose "unit price" so that Now let us put h + h + ... i2.. For instance. then the algebra of the subsets of the set J becomes a normed Boolean algebra.+ ±f=\A\ + \B\{AB = 0) Thus. . dij I = tu -Mi. . . The above definition of the norm | A | of a subset A of the universal set J admits of further generalization. . . . (If we put l t i . Let the "weights" ("prices") of different elements au a2.-дР 102 . . . Suppose that difîerent elements au a2. . . .. the rook "costs" 4 or 5 times as much as a pawn.. . . + tN = 1 \A | = |{a. 2. . say... aN of the set J be equal to some nonnegative numbers tu t2.+ • • • + tin where ilt i2. tN respectively. . if J is the set of all chessmen it often turns out that it is natural to consider different chessmen as having different "prices". . — t N =.elements in the universal set / : Then condition (1) is fulfilled. When we try to "teach" an electronic computer to play chess we usually assume that a bishop or a knight "costs" approximately 3 times as much as a pawn.to -• . aN of the set J are assumed to have different "weights" (different "prices"). the "price" of the queen is 8 or 9 times that of a pawn while the king "costs" much more than a pawn. .. iN are some of the numbers 1. N chosen quite arbitrarily (h.

under this definition. By the norm (absolute value) of a set A we shall mean the area of the figure A.We see that the conditions imposed on the norm have simple meaning in this case and they are similar to the conditions which define the notion of the area of a geometrical figure. It is quite clear that. that is as the "relative input" of the figure A into the whole area of J. * This example also admits of an important generalization. But now we choose.then the new generalized deiinition of the norm | A | of a subset A reduces to the definition in the example above. condition (1) of the general definition of the norm will be satisfied.) 4°. let us assume that the Boolean algebra under consideration is the algebra of subsets of a set J. As the norm | A | of a subset A let us take the weight of the part A of the plate J. The algebra of subsets of the square J supplied with the norm thus defined becomes a normed Boolean algebra. Of. if we take as / a three-dimensional solid then it is natural to define the norm of its subset A as the volume of A (divided. this weight is computed by means of the integral \A | = J / (M) da = j j f(x. almost nothing changes if the role of the universal set J is played not by a unit square but by some other geometrical figure with area S. The next example is in many respects analogous to the previous one. when necessary. y). As before. by the volume of the whole solid / ) . Similarly. as the universal set / a unit square so that the various subsets A of the set J are some geometrical figures lying within the square J. A A y)dxdy 103 . for instance. Let the specific weight of the material at a point M ---= (x.course. y) (that is the weight per unit area) be determined by a (nonnegative!) function / ( M ) = / (x. Condition (2) will also hold: in this case it simply means that if a figure С is split into non-intersecting parts A and В (that is AB — 0) then its area is equal to the sum of the areas of the figures A and J5. In the latter case the norm of a figure A should be defined as its area divided by the number S. Suppose that the solid / is a thin plate of uniform thickness made of an arbitrary nonhomogeneous material.

where do is the (infinitesimal) element of area of the plate adjoining (or containing) the point M. m Instead of the e q u a l i t y | a | = log a/log N wo can also w r i t e | a | = logjy a (because log j V a = l o g n a / l o g n N for any n). as their least common multiple and their greatest common divisor (see Example 4 on page 31). as the ratio log a!log N because it is required that the norm of the number N (which plays the role of the element i of the Boolean algebra) should be equal to unity 1 ). Let us consider the Boolean algebra whose elements are the various divisors of a positive integer N for which the "sum" and the "product" of numbers are defined. the change of the base of l o g a r i t h m s from b to с s i m p l y reduces to the m u l t i p l i c a t i o n of a l l the l o g a r i t h m s by the constant factor log c b (by the modulus of the former system of l o g a r i t h m s to base b w i t h respect to the l a t t e r system of l o g a r i t h m s to base c): log c m = log c b -log. In the same manner we can also construct a normed Boolean algebra whose elements are arbitrary domains contained in a given three-dimensional solid J assuming that the solid is made of a non-homogeneous material and that the norm of a domain lying within J is equal to its weight. 5°. that is j f(M)da= j [{/(*. b) — 1 is fulfilled for some numbers a and b (the role of the element о of the Boolean algebra in question is played by the number 1!) means that the two given numbers a and b are mutually prime. Indeed. Further. it is obvious that condition (1) is fulfilled in this case. more precisely. "J y) dxdy = 1 It is easy to understand that the introduction of the norm defined in this way (with the aid of an arbitrary nonnegative function / (x. of that number or. The "unit weight" should be chosen so that the weight of the whole plate J is equal to unity. 104 . b] = ab *) The choice of the base of l o g a r i t h m s is not i m p o r t a n t here because the r a t i o log a/log N is independent of the base. respectively.. y) satisfying only one "normalization condition" written abpve) transforms the Boolean algebra of figures A into a normed Boolean algebra. In this case we can define the norm | a | of a number a as the logarithm. in this case we have а ф b = [a. if the condition a 0 b — (a. Indeed.

As to condition (2). b]. 7). * * 6°. b = 0 then obviously а ф b — a and | а ф b | = | a \ — = I а I + 0 = I а I + I ft I7°. let the norm | A | of a circuit section A be equal to 1 when this section permits passage of current for the given states of all switches it contains and let | A | = 0 when the current does not flow through the section A. if. As can readily be seen. say A. a ® b = min [a. the equality AB О means that at least one of the sections A and /?. о = 0. I his Boolean algebra also becomes a normed algebra if we put I a I = a. naturally. Then. therefore when AB = О the circuit A + В permits passage of current when the other circuit (B) conflicts current and does not conduct current if otherwise. for instance. let the operalions be defined as a © b — max [a. we have a normed Boolean algebra in this example. 105 . Let us assume that the elements of the Boolean algebra are all real numbers x such that 0 ^ x 1. By definition. i = 1 and let a =э b when a ^ b.and. see Example 3 on page 28). the norm of the section О which plays the role of the element о is equal to 0 (this circuit section never permits passage of current) and the norm of the section I which plays the role of the element i is equal I о 1. condition (1) of the definition of a normed Boolean algebra is fulfilled because all the possible values of the norm are equal to 0 or 1. it follows from the fact that here we have a ® b = 0 only when one of the elements a and b of the Boolean algebra coincides with 0. log (а ф b) — log (ab) = log a + log b that is | a © f t | = | a | + | f t | We have thus proved that condition (2) entering into the definition of a normed Boolean algebra is also fulfilled liere. does not permit passage of current. 6] and à — 1 — a (besides. Another interesting example of a normed Boolean algebra can be obtained if we introduce a norm into the algebra of electric switching circuits (see Sec. Further. consequently. Then condition (1) of the definition of the norm of an element of a Boolean algebra is obviously fulfilled. Hence.

I i I = 1. say p.whence it follows that for such circuits A and В we have \A+B I = \A I + \ B |. The sum (disjunction) p -f. The normalization condition for the elements of the algebra of propositions assigns to every proposition one of the two numbers 0 and 1 which is the truth value of the proposition. the truth table corresponding to the ope106 .q of two propositions p and q is characterized by the condition that p + q is true if and only if at least one of the propositions p and q is true while the product (conjunction) pq of these same propositions is true if and only if both propositions p and q are true. Hence. All the operations of propositional algebra can be characterized by the indication of the truth values of the composite propositions obtained from the constituent (prime) propositions by means of these operations depending on the truth values of the constituent propositions. Let us introduce the norm | p | of a proposition p in the algebra of propositions by putting | p | = 1 when the proposition p is true and | p | = 0 when p is false. \. Exercises 1-2 below). the operations p + 4 and pq can be described by means of the following "truth tables": IpI l l 111 1 0 0 1 0 0 lp+«l \P4\ 1 1 0 1 0 1 0 0 Tn just Ihe same way we can compile the truth table corresponding to any other composite proposition (cf. more precisely.p I = 0 or I p I = 1) and I о I = 0. the relation pq = 0 means that the proposition "p and g" is false. that is at least one of the two propositions p and q. Therefore. 8°. is false. Let us consider an example which is very similar to the example of the normed Boolean algebra considered above. Here we also have 0 < | p | ^ 1 (or. in case pq = О the proposition p + q (that is the proposition "p or q") is true if and only if the other proposition (q) is true. Whence it readily follows that in this case | + <7 | = | jo | + | <7 ]• The most important normed Boolean algebras we have considered are of course those in Examples 7° and 8°. Further.

= I P + Ê| = IPt + I Ê l > I P I or. Analogously. Here we shall not dwell in more detail on the truth tables for propositions and the values characterizing the conductivity of switching circuits (for these questions see bibliography at the end of the book).f a | = | i | = l Consequently. the norm of an electric circuit (see Example 7°) characterizes the conductivity of the circuit which is its only important characteristic: this measure of conductivity is equal to 1 or 0 depending on whether the current flows or doesnot flow through this circuit. for any two elements a and p of a Boolean algebra for which the relation a zd p holds there exists an element £ (the "difference" between the elements a and P) such that a = p+ | and p|=o (see Exercise 3 below).ration of forming negation is particularly simple: l/'l 1 0 • \~p\ 0 1 It is evident that such truth tables completely characterize the propositions to which they correspond. From properties (1) and (2) of the norm (the absolute value) of an element of a Boolean algebra we can derive some further properties of the norm. It follows that M . if o d P . Let us consider some other examples of the application of normed Boolean algebras to elementary mathematical problems. then I a I > I p I The existence of the "difference" of two elements a and p for which a zd p also implies that for any two elements 107 . we see that I а I = 1 — I a I for all a Further. First of all it follows that if а а ~ о and a + a = i then | a | + Ja| — j a . in other words.

a p + ( p . Let there he a group of 22 students among whom 10 students are chess-players. we obtain Ia + p I- Ia I+ Ip - ap I and I P I = I «Р I + I P . let | A | and | В | be the areas of two geometrical figures A and В (see Example 4 above). 50 a and p of a Boolean algebra we have a + p = a + (P - ap) where the element p — a p (the "difference" between p and aP) possesses the property that a .I В I involves twice the area of the intersection AB (see Fig. by virtue of condition (2).\ AB \ Example.Fig. besides. How many students can play neither chess nor draughts? 108 . 8 students can play draughts and 3 can play both.( p — aP) — о whence.( P — aP) = о and.aP) where a p . we obtain the relation Ia + p I= I a I+ Ip I- I ap | (A) For instance. then the sum I A I -f. chess and draughts. 50) and therefore \ A + В \ ~ \ A \ + \ В \ .a p I On subtracting the second of the last equalities from the first one (these are number equalities) and transposing the term I p I to the right. P .

For оф = о it goes into property (2). From (A) it also follows that for any two elements a and |3 of a normed Boolean algebra we have Ia + M < Ia I+ I M (В) This property of the absolute values (norms) of the elements of a normed Boolean algebra is analogous to the wellknown property of the absolute values of numbers. We have (cf.Dr]=^ whence. * We also note that equality (A) admits of a further generalization.^ = £2 Consequently. by virtue of formula (A). we liave i ai + a 2 + a 3 1 = | a t + (а 2 +«з) | = | | +1 «2+a 3 1— I ^ ( « г + а з ) ! •= Ч a i I + (I a 21 + I a 31 — I I) — I «1«2 + ai<x31 = . By virtue of (A). Let us consider three arbitrary elements a I ( a 2 and a 3 of a normed Boolean algebra.a 3 1 — | a 2 a : ) | + | a.I a . a 2 | +1 a t a 3 1 — | a.Let us denote the set of the students who can play chess hv the symbol Ch and the set of the students who can play draughts by the symbol Dr. there are 7 students in the group who cannot play either chess or draughts. It is clear that equality (A) is a generalization of property (2) of the norm. Let us also define the norm in the algebra of the sets of the students in the group as it was done for a finite universal set in the Example 3°.Dr\=--^ + l .a 2 a 3 1 109 . |+1 a 2 1 + | a 3 1 — | a 2 a 3 1 — (| a .a 2 a 3 1) == ---1 a . I Cfe • Dr I = I ChTDr] = 1 -1 С h + Dr | = 1 .g = 1 Thus. page 102) and \Ch. We have to determine the number of students in the set Ch-~Dr=Ch + Dr (see the corresponding De Morgan formula). I + I сц I + I a 3 1 — I a j a 2 1 — | a. we obtain \Ch + Dr\ = \Ch\ + \Dr\-\Ch.

. obviously ( a 1 a 2 ) . и. | — | a . а >.( a 1 a 3 ) = a ^ a g .(I a 2 1 + I a 3 1 + I a 4 1 — I a 2 a 3 1 — | a 2 a 4 1—| a 3 a 4 1 + + I a 2 a 3 a 4 1) — | сцс^ -f a ^ + a t a 4 1 = ™ I «11 4-1 «21 + I аз i +1 a41 — I a2a31 — | a2a4 j — | a3a41 + + I a 2 a 3 a 4 1— (| a t a 2 1 + | a .. (a 2 -f.... . an| (A') where the symbol (ij.1 + i + S (ii. . . . if • •• in) of which the last term in the expression on the right-hand side does not involve the summation sign 2j). 2. • • -. . ... .b e t the reader prove formula (A') by induction. + a „ | = S I «i I— 2 К. a 3 1 -f1 a t a 4 1 — | a t a 2 a 3 1 — — I a4a2a4 ( — | a1a3a41 -f | aia2oi:jcci |) = = I a. S in-1) + |a. Iа.a 3 4. 3.. n and the sum contains only one term (because ( i i . + (-1Г2 (ii. ii I — . in the case under consideration we have к = 1. . i2. . a 2 a 3 a 4 1 Generally.. ih) under the summation sign indicates t h a t the summation extends over all the possible combinations of the pairwise different indices iu i2. . I -f I a 2 I + I a 3 1 + I a41 — I a t a 2 1 — | aja 3 1 — | a t a 4 1 — — I a 2 a 3 1 — I a 2 a 4 1 — | a 3 a 4 1 + | а { а 2 а г | -f | a . In the same manner. + an | < which 110 can readily be | a.a 4 ) | = I a j I -I. .. ij. a 2 a 4 ] -f+ 1 a t a 3 a k | + 1 oc2a3a. ai(| J + + (-l)"-1|a1a2a3 . + а 2 + а п + .because. . we can derive from formula (B) the relation I a! + a2 + . ik each of which can be equal to 1. ij) I aitai2ai. . | ccn | (B') . . 2. We can similarly express the norm of a sum of four elements: I «1 + «2 + «3 + a 4 I = I «1 + («2 + «3 + «4) I == = I I + I a 2 -f a 3 + a 4 1 — | a .-ai2 . . . | + | a2 | + . • • + proved by induction.

It is known that in a group of people 60% of the people speak English.0. we have \e + f + g \ = \ e \ + \ f \ + \ g \ .6 + 0..01 . None of the pupils is good at all the three kinds 1 ) In this solution we use the following fact which can easily be proved by induction: for any number к of elements a x .89 = 0 .0.3 + 0. In particular.2 .0. 15% of the people speak English and French. 13 pupils are swimmers and 8 pupils are skiers.0.02 + 0. 1 % of the people speak all the three languages.15 .89 and consequently the percentage of the people who speak none of the three languages is equal to 1 ) I <7/У I I e + f + g | = l .2 this relation goes into the De Morgan formula a j a 2 = a. Let us consider the algebra of the sets of the people in the group as a normed Boolean algebra in which the norm is introduced as in the first Example 3°. . til . f and g respectively.0.|e + / .f g | = l . Then. Pergamon Press.l' a Boolean algebra there holds the relation a. There are 25 pupils in a class among whom 17 pupils are cyclists.11% Thus. ef is the set of the people speaking both English and French. 2 ). 11% of the people speak none of the three languages.Below are some examples demonstrating various applications of formula (A'). Let us denote the sets of the people speaking English. + a ft l o r к —.05 . 1 1 . 1963. Steinhaus. 5% of the people speak English and German-. -) The idea and the solution of this problem are adopted from the •"">k: H. What is the percentage of the people who can speak none of the three languages? Solution. .. 30% of the people speak French-.\ e f \ . au o. a 2 . •OLh = a l {-a 2 + .\ e g \ - I fg I + \efg I . we use the fact that efg = e + / + g.. 20% of the people speak German. Oxford. a 2 . .i-a2 . Example 1. for instance. 2%) of the people speak French and German. • . By virtue of formula (A').0.. One Hundred Problems in Elementary Mathe•itirs. speaking French and speaking German as e. Example 2.

= I = | (2) I Cy Sw Sk | = 0 (3) IS Cy\ — \Cy\. swimmers and skiers by the symbols Cy. Sw and Sk respectively. Let us denote by S0. "satisfactory" and "baa!") and it is known that 6 pupils in the class have bad marks in mathematics. Further. I S 5 ю | = | 5 ю | . swim and ski.of sport. finally. Then the conditions of the problem can be written in the form (1) | C „ | = g .g 112 (a) . the swimmers and the skiers have satisfactory marks in mathematics (let us agree that the progress of the pupils is appraised with the three marks "good". Let us denote the sets of the cyclists. let В be the set of the pupils having bad marks in mathematics. The cyclists. Then we can write Consequently I 5 I = I S n I + I S. I + I S 2 I IGl + ISol + ISil + l ^ l . let G denote the set of the pupils who have only good marks in mathematics. the set of the pupils who are good at one of these kinds of sport and the set of the pupils who are good at two of the kinds of sport (remember that none of the pupils is good at all the three kinds of sport!). S denote the set of the pupils having satisfactory marks and. I S Sk\ = \Sk\ and and it is required to determine the values of norms | G | and I Sw Sk |. consequently. How many pupils in the class have good marks in mathematics and how many swimmers can skil Solution. It is obvious that and. Si and S2 the following sets of the pupils having satisfactory marks in mathematics: the set of the pupils who cannot cycle.

the number of the pupils having good marks in mathematics is equal to zero and the number of swimmers who can <ki is equal to 2. ' c 2 .§ - (b) Now lot us duplicate equality (a) and subtract equality (b) from the result. I S0 I = 0 and I Si I = 0 Further. ' 2I (here we have again used the fact that none of the pupils is good at all the three kinds of sport).But we have jS.| + | S w Sk I A = I S к I = I Cy Sk + Sw Sk\ = \Cy S к | + | Sw Sk | from which we find \Cy \Cy Sk\=^ and \Sw Sk\--^ Thus. Taking this into account we arrive at the following system of equations: g = = Sw + Cy Sk\ = \Cy Sw\ + \Cy Sk I i § = | S u . This yields 2 1 6 1 + 2150 1 + 1 5 x 1 = 0 Since the sum of three nonnegative numbers can only be equal to zero when each of the numbers is equal to zero we thus obtain I G I = 0. note t h a t the condition | S x | = 0 means t h a t each of the pupils who is good at least at one of the kinds of sport is also good at one more kind of sport. I-f | 5 j | = | 5 Cy + S Sw + S Sk | = = \S Cj/| + | S + —15 Cy Sw\- — I 5 Cy Sk\ — \S Sw Sk | = = |Cty| + |Sï/'| + |Sfc| — С S Су 5Jfc| —15 = y Sw I — Sw Sk | = 17 . It follows t h a t ]Si| + 2 | S a | = . „ . 38 ' ~ 25 . 8 25 25 25 . | = ]C!/ Sw + Sw Sk\ = \Cy Su. -420 U 3 . 13 .

5. j. W e know that | At I ^ y where i 1. 0 . 1974.3 2 14. | Ая |.h. N. it is necessary to estimate the quantities | Ai} |. 2. j. Moscow.Example 3 A coat of area 1 has 5 patches the area of each of which is not less than 1/2.2 j) 1 4 1 + S (i.j. Shklyarsky. | Â4 | and | A5 |. Chentsov. i) \Aijhl\-\Ami5\^0 (1) From the inequality we have obtained we now eliminate the term 2 М ш I the following terms. According to formula (A')'we can write 1= |/|>|Л1 + Л 2 4 A3 + Ak + A b \ = = i 2= t 1 4 . h. O n adding together all the inequalities thus obtained we get \h\At\>2 i=l 2 1 4 a. Solution.2 l 4 + i s (г. h) 14мЫ4з4 Я | where the summation indices i. Geometrical Estimates and Problems in Com binatorial Geometry. — whence i . M. S) 1 4 1 - S ('. 4. 3. ). 114 . h) 14*I- 2 (i.1 (i. 4.j. к run over the values 2.}) 1 . j. I. 5 (see Example 4° on page 103).h) + 4 + 2 (i. h Ь) + 2 (г. Yaglom and N.2 | 4 Л i=2 (г. In just the same way we can write analogous inequalities for | A2 |. A-j. h. their pairwise intersections will be denoted A 12 .l) \Aijhl\~5\Al23l& 1 ) This example admits of an extensive generalization (see problems 59 and 60 in the book by D.(i. in Russian). Prove that there are at least two patches which overlap so that their common part has an area not less than 1/5. \ Al3 etc. "Nauka". 3. To this end we use the same formula (A') to obtain | 4 > | 4 + 4 + 4 + 4 l = = 2 | 4 | . Let us denote the patches (which are regarded as subsets of this coat J having unit area) as Au A2. + j) S (i. I) I 4fti I + I 4 з 4 5 I 14*1 + i. At and A s .

И 12451. j. }) (i. I) + + ~\Al2345|>0 (3) It is clear that each of the five quantities Hi234|.|>22МН-3>2(54)-3 = 2 (i. The inequality obtained in this way does not contain the term with ^ \Aijh\- 1-12ИН+! 2 l^l-s 2 i (i.ft.J. j) whence we derive the 2 |Л г .4 S \ЛШ1\ (i. 115 . ft. j) 0. ) V Z 10. we conclude that at ' least one of these terms is not less than 2 : 10 = 1 5 which is what we intended to prove. ft. И 1 2 3 5 |. inequality (3) can also be rewritten as 4 г (г. 0 Consequently. И13451 and И 23451 not less than \A 123451 and therefore \Aim\>b\Aiwa\ 2 (i.2 2 Ий-1 + 3 S \Aijh I (i. since the number of the terms entering in the sum V^ | A t j I is (ij) equal to ( .whence ^ M i 1 .I) and 2 \AUM I — | " l ^1234 5 |>Ml2345|>0 (». inequality .h) :=1 . 1. M) + 5\АШ16\^0 (2) Let us multiply inequality (2) by 1/3 and add the result to inequality (1).i. i. J) i Now.

a 3 = 30. a 2 = 12. b. Let a. . 4*. 6. d-] + min [a. . (c) pq + r 3*. с] + min [a. the operation \ (see page 83). Compile the truth tables for the following compound propositions: (a) pq + p -f q. d] — min [a. d\ . . that is an element of the Boolean algebra such that p + I = a and P£ = o. .Exercises \ . d] + -f min [a. Compile the truth tables for the following operations: (a) the implication (b) the biconditional proposition (c) the Sheffer operation |. c] — . Let N --. ./V) of the positive integral argument N is called Euler's function. ah. аг. b] — — min [a. c. . с and d be 4 arbitrary numbers. It is required to find the least common multiple [ a ^ . a 4 = 45. ah be arbitrary positive integers. b. Prove that if a and p are elements of a Boolean algebra such that A ID p then there exists the "difference" E of the elements a and p. .. Let the numbers themselves and the greatest common divisors of any combinations of these numbers be known. Let a 2 . c. d] = a + b + с -f. аг =• 10. c. .d — min [a. pn are the prime factors of the integer. . . (d) the operation { } (see page 83). 2. Apply the formula you obtain to the case к = 4. b. How can we determine the number ф (N) of the positive integers which are less than N and relatively prime to N? (The function ф (. c. b. — min [c. ^ (b) (P + j ) (p +1). d] -f + min [Ь. b.) 5*. . p2.p\'p%' • • • Pnn be a positive integer where Pi.. ah] of the numbers аг. Prove that max [a. .

In a Boolean algebra a unary operation (the "bar" operation) is also defined which associates a new •lement a with one element a of the Boolean algebra. page 25. It is also required that two "special" elements о and i should exist and that the following rules should hold: Rules for addition Rules for multiplication (1) ct + p = p + ct (la) оф = ра the commutative laws (2) ( а + р ) + 7 = а + . for which two operations called addition and multiplication are defined which associate with any two elements a and {5 their sum a + and their product aji1) and for which the "bar" operation is defined which associates with any element a a new element a2). • • -. (5.f i == ia (6a) Rules concerning the "bar" operation (7) а = а (8) ô = i (8a) î = o 1 ) Cf. ) As was mentioned.ф + 7 ) (2a) (оф) Y = a ((Jy) the associative laws (3) a -f а = а (3a) a a = а the idempotent laws Rules connecting addition and multiplication (4) (a + P ) Y .Appendix Definition of a Boolean Algebra A Boolean algebra is an arbitrary set of elements a. addition (multiplication) is a binary operation.« ï + Pï (4a) оф + Т = ( а + у) (P + у) the distributive laws Rules concerning the elements о and i (5) a f o (5a) aaoi == oa (6) a . it associates a new element a + (a(5) with every two elements a and P of the Boolean algebra. у. 2 117 .

we can define the multiplication using the corresponding De Morgan rule: ap = cc + p However. most of the books and scientific papers 118 . [2] and [5] (see the bibliography).Rules connecting the "bar" operation with addition and multiplication (9) a + p = a p (9а) « р . For instance. that is it suffices to require that only one of these operations and also the "bar" operation should exist. if only the operations of addition and multiplication exist (but the "bar" operation is not defined) they do 'not specify a Boolean algebra. if the operation of addition and the "bar" operation exist. On this question see. We also note that. books 11]. The above definition of a Boolean algebra is highly "noneconomical" in the sense that many of the properties we have enumerated can be derived from some other properties and it is therefore unnecessary to require that the former should be fulfilled. Moreover. the matter is that the inclusion relation a ID p can be defined by means of any of the two conditions a + (3 — a and aft p from each of which all the properties of the relation ID can be derived. namely: a zd a if a :r> p and p id a then a = p if a zd p and p ID y then a ID y i ID a a + ^D a if a zd p and and a ID о a zd оф then p zd a (let the reader derive them).а + р t h e De M o r g a n f o r m u l a s It is unnecessary to include into the definition of a Boolean algebra the requirement that the inclusion relation ID should exist for some pairs of elements a and P. in contradistinction to the definition of a Boolean algebra we use in this book. for instance. it is even unnecessary to require in the definition of a Boolean algebra that one of the two operations of addition and multiplication should exist.

With these two additional conditions included the "algebra of least common multiples and greatest common divisors" (Example 4 on page 31) is a Boolean algebra when the number N decomposes only into pairwise different prime factors. 2 can naturally be regarded as examples of "incomplete" (or "generalized") Boolean algebras because properties (10) and (10a) in which they differ from the "complete" Boolean algebras (for which these conditions hold) are not so very important. then this algebra coincides with the "algebra of two numbers" (page 25). . If we include these conditions in the definition then the "algebra of maxima and minima" (see Example 3 on page 28) is a Boolean algebra in the single case when the set of numbers in question contains only two elements: 1 and 0. page 53). for this approach to the notion of a "Boolean algebra" Examples 3 and 4 in Sec. namely (10) a + cc = i and (10a) a a = o (cf. However.add two more conditions connecting the "bar" operation with addition and multiplication.

Л (Л + / ) (Я + 0) = Л . b k ] • Pk min [aft. n) = } 120 P P 1 I Q I Q I I I I I 0 P Q 1 0 О О О 0 P О P 0 0 О P QQ Q I max [a h .Answers and Hints Section 1 1. [{A + В + С) (В + С + D)} (С + D + А) = = [AD + (В + С)} (С + D + А) = l(AD + В) + С] х X [(А + D) + С] = (AD + В) (А + D) + С = AD + + AD + АВ + BD + С = АВ + AD + BD + С Section 2 3 . (A + B) (A + C) (B + D) (C + D) = {(B + A) x (С + Л)М(5 + D) (С + Я)] = (ВС + А) {ВС + D) = X = (A + ВС) (D + ВС) = AD + ВС second distributive law). (А + В) (В + С) (С + А) = ABC + АВ + АС + + ВС = ABC + ABI + АС + ВС = АВ (С + / ) + + АС + ВС = ABI + АС + ВС = АВ + ВС + С A (see the identity proved on page 23).5 = AB. (a) + 0 1 0 1 0 1 I I О I and 0 0 0 1 О I (b) + О P Q I О P Q I and 0 P Q 1 6. A (A + В) = AA + AB = A + AB --= 4 / + = = Л (I + B) = AI = 5. bft] • • Ph . 7. 6. [m. О P Q I n]=p (m.A CD + ВС + BD = AC + ВС + BD 10. [(A + В) (В + C)} (C + D) = (AC + B)(C + D) = = AC -f./ . (here w e use the 2.

Section 3

1. AB -f AC -f BD + CD = (A + D) (B + C)

(see

Exercise 1, Sec. 1); A + AB =- Л (see Exercise 2, Sec. 1);

AB + ВО + AI = A (see Exercise 9, Sec. 1); ABC +

+ BCD -f CD A = (A + B) (A + D) (B + D) С (see

Exercise 10, Sec. 1).

2. (a) {A + B) (A + B) = A A + AB_ + В A + BB = A+ AB + BA + 0 = A+BA+BA=A

+

+ {В + В) A = A + IA_ = A + A = A.

(b) AB + (A + В) (A + B)_= AB_+ AA + AB +

+ BA + BB = AB + О + AB + В A + О = AB + _

+ AB +_BA = (AB + AB) 4- (AB + AB) = A(B+B)

+

+ (A +2) В = AI 4- IB

+ B._

(c) ABC AB AC = (Â + B + C)(Â + B)ÂC =

= 1(4 +

(A + В) AC = A (A + B) AC +_

4- В (A -f В) AC + (Л_4- В) A (CC) = (ЛЛ) ( 4 + B J C +

4- [B (AA) С + (BB) AC] + (A + В)А0 = 0(А +В) С +

+ [BOC + OAC} + 0 = 0.

(d) A 4- В = A + IB = A +_(A + А) В = A +_

4- AB 4- AB = (AI + AB) + AB = A(I + B) + AB =

= AI 4- AB = A 4- AB.

3. Apply the "bar" operation to both members of the equality in question and use the fact that A = A.

4 .AB 4- А В = A (see Exercise 2 (a)}; (A + B) (AB 4+ AB) = AB (see Exercise 2 (b)); A (A

B) — AB (see

Exercise 2 (d)).

6. (a) To every divisor m of the number N there corresponds subset of the set I = {рг, p2, . . ., pu} of the prime

factors of the number N consisting of those prime factors

of N which are simultaneously prime factors of m. If A

and В are the subsets of the set I corresponding to two numbers m and n then to the numbers m ф n = [m, n],

m (g> n == (m, n) and m = N/m there correspond the sets

A 4- B, A B and A respectively.

(b) If m, = pa and n — ph then m ф n = [m, n] =

= рта* f». ь1, m ® n = (m, n) — pminfa, b] a n ( j m = дг/ ш ^

=

pA~a.

121

(с) m - Nlm

. . .

7. These equalities do not hold for the "algebra of maxima

and minima" (except for the case when the algebra consists

of only two numbers) and for the "algebra of least common

multiples and greatest common divisors" (except for the

case when the number N decomposes into pairwise different prime factors; cf. Exercise 6 (a)).

8. (a) (A + B) (A + C)

A + AC + AB + ВС

=

- AI

- AI

+

+

{A

AC + AB + ВС = A (I + С + В) + ВС

=

B C ^ A + BCczA+BŒLA

+ B + C.

+ В) (A + С) (A + / ) = (A + В) (A + С) I

(b)

= (A + B) (A -f С) = A + ВС id A zd ABC

cise (a)).

(c)

{A +

В) (В +

С) (С +

A)

=

AB

+

ВС +

(cf.

CA

=

Exer=>

**zd AB zd ABC (see Exercise 6, Sec. 1).
**

(d) Since A zd AB and В zd AB we have A + В zd

zd

a b

+

a b .

**9. ABC с- AB + AC (see Exercise 8(a); AB + AC +
**

AO cz A + В + С (see

Exercise 8(b)); AB + ВС +

+ CAœ:A+B

+ C (see Exercise 8(c)).

10. AB a{Â+

B) (A + B).

12. (a) A; (b) В; (с) I; (d) 0 .

Section 4

5. (a) "the number is even and prime"; the truth set is

{2}; (b) "the number is odd or prime"; the truth set is

{1, 2, 3, 5, 7, 9, 11, 13, 15, 17, . . .}; it differs from the

set of all odd numbers in the fact that it includes the number 2; (c) "the number is odd and prime"; the truth set is

{3, 5, 7, 11, 13, 17, 19, . . .} and it differs from the set

of all prime numbers in the fact that it excludes the number 2; (d) "the number is even and not prime"; the t r u t h

set is {4, 6, 8, 10, 12, 14, 16, . . .} and it differs from

the set of all even numbers in the fact that it excludes the

number 2; (e) "the number is odd or not prime"; the truth

set is {1, 3, 4, 5, 6, 7, 8, 9, 10, 11, . . .} and coincides

with the set of all positive integers with the exception of

the number 2.

Section 5

5. a + b — a; ab — b.

122

Section 6

**1. (a) pq + pq_+ pq_+ pq^ (b) pqr + pqr + pqr + pqr.
**

2. (d) pqrs -f pr + ps -f qr + qs.

3. Propositions (b), (d) and (e) are true (for all p and q).

Section 7

1. (a) See Fig. 51; (b) see Fig. 52.

3. (a) See Fig. 53a, (b) see Fig. 53,6.

4. (a) D = AB + AC + ВС (А, В and С are the push

buttons which the members of the committee press).

(b) G = А (ВС + BD + BE + BF + CD + CE +

4- CF + DE + DF + EF) + BCDE + BCDF +

+ BCEF + BDEF + CDEF (A is the push button which

the chairman presses and B, C, D, E and F are the push

buttons for the members of the committee).

5. (a) D = ABC + ABC + ABC + ABC.

- г г ^ г

L^V-I

В

L_aSr>_](/l+B)(C+D)

0

Fig. 51

A

Д y

в

SV

с

A(BC+B)+A

F i g . 52

0^

0„

E=(A + B + C + DJ( A + B+C+D)

E=ABCD+ABCD

(bj

Fig.

123

. £ = ар. . 2. 5 . n). .. This formula can be obtained by applying (/!') to Example 3° in which the roles of the elements of a Boolean algebra are played by the sets of natural numbers not exceeding N and divisible by pt (where i — 1. .Section 8 3. Apply formula (A') to the Boolean algebra in Example 5°.

t h i s part is devoted to Boolean algebras. B e r k e l e y . An Introduction the Fundamental Concepts of Mathematics. . H . Thompson. S t a l l . Denis-Papin. Dunod. L. One of the chapters of this book requiring no special prerequisites is devoted to Boolean algebras. 2. Introduction to Finite Mathematics. Oxford University Press. 125 . R . 4.. Englewood Cliffs (N. 1957. New York. C.)-Toron to-New York-London. Symbolic Logic and Intelligent Machines. San 1974. 5. New York.J. Dunod. 1957. .. T. New York. . Applied Boolean Algebras. This book is in many respects similar to [3] but Boolean algebras are considered in it in less detail. 6. Paris.. Hohn. С. Van Nostrand. Faure. Snell. 9. Francisco.. H . 1960. F. 3. The book starts with a detailed discussion of the questions considered in the present book and contains many problems. Rein- hold. K a u f m a n n . Freeman. F a u r e . Sets. The first part of this book is a reference book meant for engineers and students studying mathematics. T. I. . K a u f m a n n . J . L. This book does not require any prerequisites except the knowledge of elementary mathematics but the reader of the book is supposed to have some experience in studying mathematical literature.Bibliography 1.. Mathematics and Logic for Digital Devices. All the questions treated in the present book are discussed in detail. This book is meant for m a t h e m a t i c s teachers. Macmillan. E.. G. R . to the Foundations Halt. In this book meant for senior p u p i l s some questions related to Boolean algebras are also considered. all the questions considered in the present book are discussed and there are many problems for self-training. J. J. New York. Princeton (N. R . Eves. Mathématiques nouvelles. Logic and Axiomatic Theories. R . Reinhart and and Winston. Invitation a la recherches opêrationelle. .J.). R . E . however much attention is paid to problems concerning computers. V. Newson. 1962. M. .. G. A. . Robbins. Paris. A . Prentice-Hall.. This is an extensive text-book for junior students (non-mathematicians). 1948. 1961. Courant. What is Mathematics?. 1961.. 8. 7. C u l b e r t s o n .. Kemeny. 1963.

125 Venn. С. J. D. 82 Shklyarsky. 41 Robbins. G. 8 Pythagoras 66 De Morgan. 13. 114 . 125 Sheffer. 125 Gindikin. 114 Courant. I l l Thompson. F. G. E. 125 Kizner. G. R. E. L. L. R. 114 Snell. M. S. M. 125 Niven. H. 5 Hohn. 1. J. 125 Steinhaus. 125 Euler. J. 33 Kenieny.Name Index Berkeley. J. D. H. V. R. 125 Culbertson. 116 Eves. 5 Chentsov. 125 Stall. 13 Yaglojn. N. Л. 1. 125 Faure. G. H. I. H. 125 Boole. C. F. R. A. 125 Kaufmann. T. 125 Newson. L. N.

9 pure imaginary 7 rational 9 real 7 signed 9 Operation binary 83 (Sheffer) stroke 82 t e r n a r y 83 u n a r y 83 Principle of duality 38 P r o b a b i l i t y theory 100 Proof by contradiction {redactin ad absurdum proof) 67 127 . 19. 64 of contradiction 68 distributive 10. 15. 84 of double negation 64 of dualization (De Morgan theorem) 40 / of excluded middle 68 idempotent 21. 13. 65 Law (s) associative 10. 9 irrational 7.Subject Index Addition of complex numbers 9 Additive (disjunctive) normal form of a proposition 71 Additive inverse of a number 10 Algebra of propositions 54#. 13. 60 Algebra of sets 12 Boolean algebra 33 definition of 117 ff normed 100 Condition necessary 66 necessary and sufficient 67 sufficient 66 Conjunction 58 Conjunctive (multiplicative) normal form of a proposition 74 Deduction 66 De Morgan rules 40 f Denial (negation) of a proposition 61 Disjunction 57 Disjunctive (additive) normal form of a proposition 71 Dual formulas (relations) 38 Euler's circles 13 diagram 13 function 116 Greatest common divisor 31 Iff ("if and only if") 78 Implication 76 converse 77 contrapositive of 77 inverse of 78 Inclusion relation 47. 84 complementation 40. 91 intersection 17. 15. 19 Least common multiple 31 Multiplication of complex n u m bers 9 Multiplicative (conjunctive) normal form of a proposition 74 Multiplicative inverse (reciprocal) of a number 11 Necessary condition 66 Necessary and sufficient condition 67 Negation (denial) 61 double 64 joint 85 Norm (absolute value) 100 Number complex 7. 84 c o m m u t a t i v e 9f.

translation and design of this book. GSP Pervy Rizhsky Pereulok. We would also be pleased to receive any other suggestions you may wish to make. Our address is: USSR. 129820. 67 necessarily false 57 necessarily true 57 product (conjunction) of 58 sum (disjunction) of 57 Pythagorean theorem 66 product (intersection) sum (union) of 12 universal 19 Sufficient condition 66 Switch always-closed 91 always-open 91 Switching circuit(s) 89fi product of 90 sum of 90 Syllogism 86 Reciprocal of (multiplicative inverse) a number 10 / Self-dual 38 Set(s) 12 complement of 40 element of 12 empty (or void or null) Truth set 55 Truth table 106 Truth value 106 16 TO THE Venn diagram 13 READER Mir Publishers would be grateful for your comments on the content. 2 Printed in the Union of Soviet Socialist Republics .Proposition (s) 55 biconditional 78 equivalence of 56. Moscow 1-110.

.

it deals with algebra of propositions. The solution of the problems in the exercises facilitates the understanding of the material of the book. There are also many exercises with answers and hints to some of them placed at the end of the book. in particular. Some applications of this algebra to the automation of mathematical proofs are discussed. The book includes the definition of the notion of a Boolean algebra and many examples of such algebras.This book is devoted to fundamentals of the theory of Boolean algebras which play an important role in mathematical logic and in the development of electronic computers and cybernetics. The book is intended for senior pupils and can also be of use for adult readers interested in mathematics. Mir Publishers Moscow .

- Basic Electromagnetism and Its Applications
- Practical Controls - A Guide to Mechanical Systems
- Doing Science is Fun
- Radio Frequency Modulation Made Easy
- Study Notes in Electrical Science
- Intermediate Electronics
- INTELLIGENCE GAMES.pdf
- Charging Ahead.pdf
- Crimes and Mathdemeanors
- Introductory Economics- Micro and Macro
- An Introduction to Digital Logic - A. Potton (1973)
- An Introduction to Electrical Circuit Theory G.williams (1973)
- Chemistry - Atoms Molecules and Elements
- 17th Edition IET Wiring Regulations Inspection, Testing and Certification - Brian Scaddan
- Surprising Science Puzzles
- Electric Showers
- Problems for Physics Students
- Basic Electronics_ Theory and Practice
- The Beginner's Guide to Broadband and Wireless Internet by Peter Burns
- Logic Made Easy
- Physics First
- Venttsel Elements of Game Theory
- Basic Civil Engineering
- Challenging Math Puzzles

A fun way to learn the basics about logic and Boolean algebra

A fun way to learn the basics about logic and Boolean algebra

- Great Algebra or simply Gr-Algebra
- Answers to the Plato Practice Test
- MasteringPhysics Pearson-Intro to Mastering and Math Review
- Algebra Principal Sings
- BaezOctonions
- 111102008
- Ingo Runkel, Jens Fjelstad, J¨urgen Fuchs, and Christoph Schweigert- Topological and conformal field theory as Frobenius algebras
- Elements of Algebra (1910)
- JEE Questions Continuity
- Banach Algebras an Introduction Pure and Applied Mathematics
- Baez - Octonions (Paper)
- Algebra
- Berger - Koszulity for Nonquadratic Algebras
- A.I. Mudrov- Twisting cocycles in fundamental representaion and triangular bicrossproduct Hopf algebras
- Distributive Property
- Aptitude Contents
- quad, A.P, G.P2
- gbovergf(2^4)
- Addition Facts Table Activities 1 Range 1 10
- cse
- 21-30
- OCTONIONIC TERNARY GAUGE FIELD THEORIES REVISITED
- January Newsletter
- Appendix c - Some Properties of Bessel Functions
- Agile linear algebra
- Interval Algebra Seminar report
- A survey of modern algebra - Birkhoff & MacLane.pdf
- Recurrent Relation for Branching Coeﬃcients of aﬃne Lie Algebras
- abstract algebra - Let G be a nonabelian group of order $p^3$, where $p$ is a prime number. Prove that the center of $G$ is of order $p$
- Untitled
- An Unusual Algebra

Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

We've moved you to where you read on your other device.

Get the full title to continue

Get the full title to continue reading from where you left off, or restart the preview.

scribd