En
Register Log in

List of publications on a keyword: «implicant»

  • Realizatsiia fundamental'noi napravlennosti normal'nykh form bulevykh funktsii pri obuchenii matematike kursantov voennogo vuza

    Book Chapter
    Pedagogy and Psychology as the Sciences of Forming the Potential of Modern Society
    Authors:
    Nikolai V. Sadovnikov, Elena V. Shipanova, Galiia A. Sultanova
    Work direction:
    Глава I. Педагогические аспекты обучения и воспитания
    Abstract:
    The relationship between the fundamentality and professional orientation of cadets of military university of simplification logical functions is shown, which consist in finding dead-end, and then minimal forms of it. A convenient minimization method to simplify the search for gluing terms is the use of Veitch diagrams. The question of dual functions and the completeness and closeness of the system of logical functions is discussed.
    Keywords:
    minimal form of logical functions, disjunctive normal form (DNF), conjunctive normal form (CNF) of boolean functions, implicant, simple implicant, dead-end form of boolean functions, Veitch diagram, duality principle, functionally complete system, Zhegalkin algebra, closed class of functions
    Go 

  • Vzaimosviaz' fundamental'nosti i voenno-professional'noi napravlennosti izucheniia elementov matematicheskoi logiki v voennom vuze

    Book Chapter
    Pedagogy and Psychology as the Sciences of Forming the Potential of Modern Society
    Authors:
    Nikolai V. Sadovnikov, Elena V. Shipanova, Galiia A. Sultanova
    Work direction:
    Глава I. Педагогические аспекты обучения и воспитания
    Abstract:
    The article reveals the relationship between the principles of fundamentality and the military-professional orientation of studying the elements of mathematical logic in a military university. An unconventional approach to the study of this course is proposed, which is based on a functional approach that gives a more general idea of the elements of mathematical logic.
    Keywords:
    fundamentalization of military engineer training, professional-military orientation of cadet training, two-digit logic, infinite-value logic, ordinal logic, boolean functions, canonical forms of boolean functions: SDNF and SKNF, minimization of boolean functions, simple implicants, Quine's algorithm for obtaining abbreviated DNF of boolean functions
    Go