ITM Web Conf.
Volume 59, 2024II International Workshop “Hybrid Methods of Modeling and Optimization in Complex Systems” (HMMOCS-II 2023)
|Number of page(s)
|Interdisciplinary Mathematical Modeling and Applications
|25 January 2024
Information and logical transformations in Schaeffer and Pierce Bases in Maple
Stavropol State Pedagogical Institute,
417A, Lenina str.,
2 Stavropol State Agrarian University, 12, Zootechnichesky, Stavropol, 355017, Russia
* Corresponding author: firstname.lastname@example.org
One of the tasks of synthesis and analysis of the functioning of combinational devices is the representation of a Boolean function in various bases. The absolute completeness of the use and implementation of various transformations of Boolean functions is impossible without the implementation of transformations into universal bases of Schaeffer (AND-NOT) or Webb (OR-NOT). The Logic library of the Maple computer algebra system allows you to use only the operations &nand (Schaeffer basis) and &nor (Webb basis) to build a model of a digital device. Therefore, there is a need to expand the functionality of the Logic library of the Maple computer algebra system by representing Boolean functions in Schaeffer and/or Pierce (Webb) bases. In this regard, the authors of the article have developed procedures that allow the representation of disjunctive or conjunctive normal forms in the Schaeffer basis or in the Webb basis. The development was carried out taking into account the existing data processing functions and procedures. The article describes the technology of extending the Logic library of the Maple computer algebra system by developed procedures that implement the transformation of a given or received Boolean function in Schaeffer or Webb bases.
© The Authors, published by EDP Sciences, 2024
This is an Open Access article distributed under the terms of the Creative Commons Attribution License 4.0, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.