Study of Algebraic Statements Using Digital Technologies
Keywords:
Negation, conjunction, disjuncts, Logic ConverterAbstract
This article is dedicated to the Electronics Workbench 5.12 system developed by Interactive Image Technologies. A distinctive feature of the system is the presence of control and measuring instruments, which, in terms of appearance and characteristics, closely resemble their industrial counterparts. The system is easy to learn and quite convenient to use.
References
Igoshin V.I., Mathematical Logic and Theory of Algorithms. Moscow: Academia, (2008). [in Russian]
Mendelson E., Introduction to mathematical logic. Queens College Flushing, New York, USA (2015).
Shoenfield J.R., Mathematical logic. New York. (2013).
Ferland K., Discrete Mathematics and Applications, New York. (2017).
V. K . Balakrishnan V.K., Introductory Discrete Mathematics.( 2012).
Conradie W., Goranko V., Robinson C. Logic and Discrete Mathematics.(2015).
Suleymanov R. R., Malikov R. F. Modeling of electrical circuits from the school physics course in the integrated system Electronics Workbench 5.12 // Teacher of Bashkortostan. 2002. No. 12.
Suleymanov R. R. Study of digital technology elements using the Electronics Workbench electronic laboratory // Informatics and Education. 2003. No. 3.