ХНУРЭ,кафедра ПО ЭВМ, Тел . 7021-446, e-mail: belous@kture.Kharkov.ua

1. Discrete mathematics. Jegalkin Algebra. N.V. Bilous Факультет компьютерных наук Кафедра ПО ЭВМ, ХНУРЭ ХНУРЭ,кафедра ПО ЭВМ, Тел. 7021-446, e-mail: belous@kture.Kharkov.ua

2. Jegalkin algebra. Jegalkin algebra is an algebra, that uses the conjunction (x  y = x  y), the eXclusive OR (x  y) and the constant of unity 1 as an initial (or elementary) functions.

3. Identities of Jegalkin algebra. Properties of conjunction: • Associative law – х(yz)= (хy)z; • Commutative law – хy=yх; • Idempotence law – хх=х; • Actions with the constants – x0=0, x1=x.

4. x y xy Identities of Jegalkin algebra. 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 XOR operation properties( addition by module 2): • The commutative law: xy=yx; Proof the commutative law : yx

5. x y z yz x(yz) xy (xy)z Identities of Jegalkin algebra. 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 • The associative law: х(yz)= (хy)z Proofof the associative law:

6. x xx x0 Identities of Jegalkin algebra. 0 0 0 1 0 1 Rules of the summand elimination: • xx=0 • x0=x Proofof identity:

7. x y z yz x(yz) xy xz xyxz Identities of Jegalkin algebra. 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 0 1 1 0 • The distributive law ( accordingly ): x(yz)=xyxz Proofof distributivenessaccordingly

8. Transition formulae from logic algebra to Jegalkin algebra. 0 1 1 0 • Introducing of the negation in Jegalkin algebra: Prove this identity by the truth table: 1 0

9. Transition formulae from logic algebra to Jegalkin algebra. • Introducing of disjunction in Jegalkin algebra: Provegiven formula analytically:

10. Jegalkin polynomial. Jegalkin polynomialis final addition by module 2 of two different elementary conjunctions above set of variables {x1, x2,…, xn}. The quantity of variables including into elementary conjunction is called the range of elementary conjunction. The quantity oftwodifferent elementary conjunctions in polynomial is called the length of polynomial.

11. Jegalkin polynomial and the rule of its building. For the building of Jegalkin polynomial for any function given by the formula of Jegalkin algebra it is needed to open all brackets in giving formula using the distributive law and do all possible simplifications with the help of the law for the constants, idempotencelaw and the rules of the summand elimination.

12. Jegalkin polynomial and the rule of its building. Example. Build Jegalkin polynomials for implication () and equivalence (~) . Solution.

13. Linear Boolean functions. A Boolean function is called linear if its Jegalkin polynomial does not contain conjunctions of variables. Example. Verify the function as for the linearity

14. Linear Boolean functions. Solution. Build Jegalkin polynomial of given function using the following identities: ,ху=xуху, Transform the given result using the building rule of Jegalkin polynomial.

15. Linear Boolean functions. Continuation of example. Function is nonlinear.

16. Jegalkin polynomial andthe rule of its building. Example. Build Jegalkin polynomial for the implication function using the method of the indefinite coefficients.

17. Jegalkin polynomial and the rule of its building. Solution. Write down polynomial for the given function in the form of sum by module 2 for all possible elementary conjunctions for x, y without the negation: f13(x,y) = xy = a1xya2xa3ya4,

18. Jegalkin polynomial and the rule of its building. Continuation of example. f13(0,0) = 00 = 1 1 = a100a20a30a4 = a4 f13(0,1) = 01 = 1 1 = a101a20a311 = a31, from here followsthat a3 = 0 f13(1,0) = 10 = 0 0 = a110a21a301 = a21, from here followsthat a2 = 1

19. Jegalkin polynomial and the rule of its building. Continuation of example. f13(1,1) = 11 = 1 1 = a11111011 = a111= a1 Substitute given values of the coefficients in the polynomial: xy=a1xya2xa3ya4=1xy1x0 y1 =xyx1