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 classThe 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 classFor 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...
|