Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945742705> ?p ?o ?g. }
- W2945742705 endingPage "167" @default.
- W2945742705 startingPage "156" @default.
- W2945742705 abstract "An original approach to analytic canonical minimization of switching (Boolean) functions, which is based on the representation of Boolean functions (BF) as a function of one variable – the number of the set í of values of its arguments, is proposed. For this, using the Antje function, the dependence (in the form of formulas) of the values of each of n variables on the number í is established. To construct a minimal disjunctive or conjunctive normal form of the BF are repelled from the corresponding perfect forms. In this connection the need to describe the sequence of numbers of sets, on which the variables take the values 1 and 0, arises. The common terms of such sequences can be obtained using the formula for the common term of a numerical sequence in a representation through the finite differences of its members. Further the connection between the sum of the values of atoms (term) ó(í) and the numbers of their values is established. With the help of the values of ó(í) , the question of gluing the constituents of the unit or zero is solved. Threedimensional and four-dimensional cubes whose vertices are labeled with sigmas are depicted for a function of three and four variables, respectively. Since the necessary condition for gluing the constituents – the modulus of the difference between sigmas is equal to one – is not sufficient, the gluing criterion is used: the constituents of a unit or zero are glued if and only if the Gamming distance between two values of ó(í) is equal to one. The general order for gluing the constituent of a unit or zero on the basis of the described means is obtained. A matrix of size m× n , where m is the number of simple implicant or implicent, n is the number of sets, on which the BF unit or zero values takes, is used to build deadlock forms; they are not represented by letters, but by sets of ones and zeros that correspond to them. The proposed approach to minimizing BF is called the í -minimization method. An example of minimizing of BF of five variables, given by the numbers of the sets í of values of its arguments, on which it takes values equal to one, that is – with the property f = 1, is given. The possibility of using the í -minimization of BF in bases other than the basis (∧, ∨,  ̄ ), and in the future – an application to the minimization of BF of integer mathematical programming is discussed." @default.
- W2945742705 created "2019-05-29" @default.
- W2945742705 creator A5045784453 @default.
- W2945742705 creator A5075153948 @default.
- W2945742705 date "2019-05-23" @default.
- W2945742705 modified "2023-10-18" @default.
- W2945742705 title "МІНІМІЗАЦІЯ БУЛЕВИХ ФУНКЦІЙ ЗА НОМЕРАМИ НАБОРІВ ЗНАЧЕНЬ АРГУМЕНТІВ" @default.
- W2945742705 doi "https://doi.org/10.32620/oikit.2019.83.11" @default.
- W2945742705 hasPublicationYear "2019" @default.
- W2945742705 type Work @default.
- W2945742705 sameAs 2945742705 @default.
- W2945742705 citedByCount "0" @default.
- W2945742705 crossrefType "journal-article" @default.
- W2945742705 hasAuthorship W2945742705A5045784453 @default.
- W2945742705 hasAuthorship W2945742705A5075153948 @default.
- W2945742705 hasBestOaLocation W29457427051 @default.
- W2945742705 hasConcept C10138342 @default.
- W2945742705 hasConcept C105285975 @default.
- W2945742705 hasConcept C11413529 @default.
- W2945742705 hasConcept C114614502 @default.
- W2945742705 hasConcept C118615104 @default.
- W2945742705 hasConcept C121332964 @default.
- W2945742705 hasConcept C122637931 @default.
- W2945742705 hasConcept C13355873 @default.
- W2945742705 hasConcept C134306372 @default.
- W2945742705 hasConcept C136726353 @default.
- W2945742705 hasConcept C138885662 @default.
- W2945742705 hasConcept C14036430 @default.
- W2945742705 hasConcept C145420912 @default.
- W2945742705 hasConcept C162324750 @default.
- W2945742705 hasConcept C162392398 @default.
- W2945742705 hasConcept C177264268 @default.
- W2945742705 hasConcept C17744445 @default.
- W2945742705 hasConcept C182306322 @default.
- W2945742705 hasConcept C182365436 @default.
- W2945742705 hasConcept C187455244 @default.
- W2945742705 hasConcept C199360897 @default.
- W2945742705 hasConcept C199539241 @default.
- W2945742705 hasConcept C2524010 @default.
- W2945742705 hasConcept C2776359362 @default.
- W2945742705 hasConcept C2778112365 @default.
- W2945742705 hasConcept C2780813799 @default.
- W2945742705 hasConcept C33923547 @default.
- W2945742705 hasConcept C41008148 @default.
- W2945742705 hasConcept C41895202 @default.
- W2945742705 hasConcept C54355233 @default.
- W2945742705 hasConcept C61797465 @default.
- W2945742705 hasConcept C62520636 @default.
- W2945742705 hasConcept C78458016 @default.
- W2945742705 hasConcept C86803240 @default.
- W2945742705 hasConcept C94625758 @default.
- W2945742705 hasConceptScore W2945742705C10138342 @default.
- W2945742705 hasConceptScore W2945742705C105285975 @default.
- W2945742705 hasConceptScore W2945742705C11413529 @default.
- W2945742705 hasConceptScore W2945742705C114614502 @default.
- W2945742705 hasConceptScore W2945742705C118615104 @default.
- W2945742705 hasConceptScore W2945742705C121332964 @default.
- W2945742705 hasConceptScore W2945742705C122637931 @default.
- W2945742705 hasConceptScore W2945742705C13355873 @default.
- W2945742705 hasConceptScore W2945742705C134306372 @default.
- W2945742705 hasConceptScore W2945742705C136726353 @default.
- W2945742705 hasConceptScore W2945742705C138885662 @default.
- W2945742705 hasConceptScore W2945742705C14036430 @default.
- W2945742705 hasConceptScore W2945742705C145420912 @default.
- W2945742705 hasConceptScore W2945742705C162324750 @default.
- W2945742705 hasConceptScore W2945742705C162392398 @default.
- W2945742705 hasConceptScore W2945742705C177264268 @default.
- W2945742705 hasConceptScore W2945742705C17744445 @default.
- W2945742705 hasConceptScore W2945742705C182306322 @default.
- W2945742705 hasConceptScore W2945742705C182365436 @default.
- W2945742705 hasConceptScore W2945742705C187455244 @default.
- W2945742705 hasConceptScore W2945742705C199360897 @default.
- W2945742705 hasConceptScore W2945742705C199539241 @default.
- W2945742705 hasConceptScore W2945742705C2524010 @default.
- W2945742705 hasConceptScore W2945742705C2776359362 @default.
- W2945742705 hasConceptScore W2945742705C2778112365 @default.
- W2945742705 hasConceptScore W2945742705C2780813799 @default.
- W2945742705 hasConceptScore W2945742705C33923547 @default.
- W2945742705 hasConceptScore W2945742705C41008148 @default.
- W2945742705 hasConceptScore W2945742705C41895202 @default.
- W2945742705 hasConceptScore W2945742705C54355233 @default.
- W2945742705 hasConceptScore W2945742705C61797465 @default.
- W2945742705 hasConceptScore W2945742705C62520636 @default.
- W2945742705 hasConceptScore W2945742705C78458016 @default.
- W2945742705 hasConceptScore W2945742705C86803240 @default.
- W2945742705 hasConceptScore W2945742705C94625758 @default.
- W2945742705 hasIssue "83" @default.
- W2945742705 hasLocation W29457427051 @default.
- W2945742705 hasOpenAccess W2945742705 @default.
- W2945742705 hasPrimaryLocation W29457427051 @default.
- W2945742705 hasRelatedWork W1658934395 @default.
- W2945742705 hasRelatedWork W201096900 @default.
- W2945742705 hasRelatedWork W2039921034 @default.
- W2945742705 hasRelatedWork W2053394780 @default.
- W2945742705 hasRelatedWork W2108834828 @default.
- W2945742705 hasRelatedWork W2403919457 @default.
- W2945742705 hasRelatedWork W2428981601 @default.
- W2945742705 hasRelatedWork W2545743893 @default.