+7 (495) 987 43 74 ext. 3304
Join us -              
Рус   |   Eng

Authors

Lyubomudrov A.

Degree
PhD in Technics, Associate Professor, Computer Systems and Technologies Department, National Research Nuclear University «MEPhI»
E-mail
liubomudrov@yandex.ru
Location
Moscow
Articles

The approach to definition of algebra logical functions belonging to linear functions class

The variant of approach to the definition of algebra logical functions belonging to the class of linear functions is suggested. This approach dictates laying out of function meanings on domains and the next visible and if it’s necessary supplementary analytical analysis of the domains.
Read more...

The number approach to definition of the belonging algebra logical functions to monotonic functions class

For the construction of the calculating machines full functional sets of logic functions are used. In the full functional sets even thought one of the functions is to be a nonmonotonic function. So the aim of the article is to construct the effective approach to the definition of the belonging algebra logical functions to the class of the monotonic functions. The approach is suggested proposes using groups of logical variables as numbers where the digits of numbers are the mentioned logical variables. Then the values of the functions are examined at the fixed positions with the fixed numbers. If all function meanings are true then the function is a monotonic one. In the other case we have a nonmonotonic function. This approach enables us to check the belonging of the algebra logical functions to the class of the monotonic functions without commensurable checkings of the groups of logical variables. The quantity of the commensurable chekings may be equal to N = 22n – 1 where n is the quantity of the variables in one group. So the approach is proposed is rather effective.
Read more...