Polylinear Transformation Method for Solving Systems of Logical Equations

In connection with applications, the solution of a system of logical equations plays an important role in computational mathematics and in many other areas. As a result, many new directions and algorithms for solving systems of logical equations are being developed. One of these directions is transf...

Full description

Saved in:
Bibliographic Details
Published in:Mathematics (Basel) 2022-03, Vol.10 (6), p.918
Main Authors: Barotov, Dostonjon Numonjonovich, Barotov, Ruziboy Numonjonovich
Format: Article
Language:English
Subjects:
Algebra
Algorithms
Boolean
Codes
Cryptography
Domains
harmonic functions
logical operations
Mathematical analysis
polylinear functions
Polynomials
systems of Boolean algebraic equations
Transformations (mathematics)
Variables
Zhegalkin polynomials
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c297t-1e24c2b3d9846297396850b1b0cbaa25e739fcc656d4ddd7fbe2c4bc1c822a2c3
cites cdi_FETCH-LOGICAL-c297t-1e24c2b3d9846297396850b1b0cbaa25e739fcc656d4ddd7fbe2c4bc1c822a2c3
container_end_page
container_issue 6
container_start_page 918
container_title Mathematics (Basel)
container_volume 10
creator Barotov, Dostonjon Numonjonovich
Barotov, Ruziboy Numonjonovich
description In connection with applications, the solution of a system of logical equations plays an important role in computational mathematics and in many other areas. As a result, many new directions and algorithms for solving systems of logical equations are being developed. One of these directions is transformation into the real continuous domain. The real continuous domain is a richer domain to work with because it features many algorithms, which are well designed. In this study, firstly, we transformed any system of logical equations in the unit n-dimensional cube Kn into a system of polylinear–polynomial equations in a mathematically constructive way. Secondly, we proved that if we slightly modify the system of logical equations, namely, add no more than one special equation to the system, then the resulting system of logical equations and the corresponding system of polylinear–polynomial equations in Kn+1 is equivalent. The paper proposes an algorithm and proves its correctness. Based on these results, further research plans are developed to adapt the proposed method.
doi_str_mv 10.3390/math10060918
format article
fullrecord <record><control><sourceid>proquest_doaj_</sourceid><recordid>TN_cdi_doaj_primary_oai_doaj_org_article_9bcafb67830241fc807b902355dc2161</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><doaj_id>oai_doaj_org_article_9bcafb67830241fc807b902355dc2161</doaj_id><sourcerecordid>2642439327</sourcerecordid><originalsourceid>FETCH-LOGICAL-c297t-1e24c2b3d9846297396850b1b0cbaa25e739fcc656d4ddd7fbe2c4bc1c822a2c3</originalsourceid><addsrcrecordid>eNpNkE9LAzEQxYMoWLQ3P0DAq9Vkks1ujlKqFioKreeQf9tu2W7aZCv02xtbkc5lhjeP3wwPoTtKHhmT5Gmj-xUlRBBJqws0AIByVObF5dl8jYYprUkuSVnF5QBNP0N7aJvO64gXUXepDjGTmtDhd9-vgsNZwPPQfjfdEs8PqfebhEONZ2HZWN3iyW5_tKdbdFXrNvnhX79BXy-TxfhtNPt4nY6fZyMLsuxH1AO3YJiTFRdZYVJUBTHUEGu0hsJnpbZWFMJx51xZGw-WG0ttBaDBshs0PXFd0Gu1jc1Gx4MKulFHIcSl0rFvbOuVNFbXRpQVI8BpbStSGkmAFYWzQAXNrPsTaxvDbu9Tr9ZhH7v8vgLBgTPJoMyuh5PLxpBS9PX_VUrUb_bqPHv2A1lAdq4</addsrcrecordid><sourcetype>Open Website</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2642439327</pqid></control><display><type>article</type><title>Polylinear Transformation Method for Solving Systems of Logical Equations</title><source>Publicly Available Content Database</source><creator>Barotov, Dostonjon Numonjonovich ; Barotov, Ruziboy Numonjonovich</creator><creatorcontrib>Barotov, Dostonjon Numonjonovich ; Barotov, Ruziboy Numonjonovich</creatorcontrib><description>In connection with applications, the solution of a system of logical equations plays an important role in computational mathematics and in many other areas. As a result, many new directions and algorithms for solving systems of logical equations are being developed. One of these directions is transformation into the real continuous domain. The real continuous domain is a richer domain to work with because it features many algorithms, which are well designed. In this study, firstly, we transformed any system of logical equations in the unit n-dimensional cube Kn into a system of polylinear–polynomial equations in a mathematically constructive way. Secondly, we proved that if we slightly modify the system of logical equations, namely, add no more than one special equation to the system, then the resulting system of logical equations and the corresponding system of polylinear–polynomial equations in Kn+1 is equivalent. The paper proposes an algorithm and proves its correctness. Based on these results, further research plans are developed to adapt the proposed method.</description><identifier>ISSN: 2227-7390</identifier><identifier>EISSN: 2227-7390</identifier><identifier>DOI: 10.3390/math10060918</identifier><language>eng</language><publisher>Basel: MDPI AG</publisher><subject>Algebra ; Algorithms ; Boolean ; Codes ; Cryptography ; Domains ; harmonic functions ; logical operations ; Mathematical analysis ; polylinear functions ; Polynomials ; systems of Boolean algebraic equations ; Transformations (mathematics) ; Variables ; Zhegalkin polynomials</subject><ispartof>Mathematics (Basel), 2022-03, Vol.10 (6), p.918</ispartof><rights>2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c297t-1e24c2b3d9846297396850b1b0cbaa25e739fcc656d4ddd7fbe2c4bc1c822a2c3</citedby><cites>FETCH-LOGICAL-c297t-1e24c2b3d9846297396850b1b0cbaa25e739fcc656d4ddd7fbe2c4bc1c822a2c3</cites><orcidid>0000-0001-5047-7710</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.proquest.com/docview/2642439327/fulltextPDF?pq-origsite=primo$$EPDF$$P50$$Gproquest$$Hfree_for_read</linktopdf><linktohtml>$$Uhttps://www.proquest.com/docview/2642439327?pq-origsite=primo$$EHTML$$P50$$Gproquest$$Hfree_for_read</linktohtml><link.rule.ids>314,776,780,25732,27903,27904,36991,44569,74872</link.rule.ids></links><search><creatorcontrib>Barotov, Dostonjon Numonjonovich</creatorcontrib><creatorcontrib>Barotov, Ruziboy Numonjonovich</creatorcontrib><title>Polylinear Transformation Method for Solving Systems of Logical Equations</title><title>Mathematics (Basel)</title><description>In connection with applications, the solution of a system of logical equations plays an important role in computational mathematics and in many other areas. As a result, many new directions and algorithms for solving systems of logical equations are being developed. One of these directions is transformation into the real continuous domain. The real continuous domain is a richer domain to work with because it features many algorithms, which are well designed. In this study, firstly, we transformed any system of logical equations in the unit n-dimensional cube Kn into a system of polylinear–polynomial equations in a mathematically constructive way. Secondly, we proved that if we slightly modify the system of logical equations, namely, add no more than one special equation to the system, then the resulting system of logical equations and the corresponding system of polylinear–polynomial equations in Kn+1 is equivalent. The paper proposes an algorithm and proves its correctness. Based on these results, further research plans are developed to adapt the proposed method.</description><subject>Algebra</subject><subject>Algorithms</subject><subject>Boolean</subject><subject>Codes</subject><subject>Cryptography</subject><subject>Domains</subject><subject>harmonic functions</subject><subject>logical operations</subject><subject>Mathematical analysis</subject><subject>polylinear functions</subject><subject>Polynomials</subject><subject>systems of Boolean algebraic equations</subject><subject>Transformations (mathematics)</subject><subject>Variables</subject><subject>Zhegalkin polynomials</subject><issn>2227-7390</issn><issn>2227-7390</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><sourceid>PIMPY</sourceid><sourceid>DOA</sourceid><recordid>eNpNkE9LAzEQxYMoWLQ3P0DAq9Vkks1ujlKqFioKreeQf9tu2W7aZCv02xtbkc5lhjeP3wwPoTtKHhmT5Gmj-xUlRBBJqws0AIByVObF5dl8jYYprUkuSVnF5QBNP0N7aJvO64gXUXepDjGTmtDhd9-vgsNZwPPQfjfdEs8PqfebhEONZ2HZWN3iyW5_tKdbdFXrNvnhX79BXy-TxfhtNPt4nY6fZyMLsuxH1AO3YJiTFRdZYVJUBTHUEGu0hsJnpbZWFMJx51xZGw-WG0ttBaDBshs0PXFd0Gu1jc1Gx4MKulFHIcSl0rFvbOuVNFbXRpQVI8BpbStSGkmAFYWzQAXNrPsTaxvDbu9Tr9ZhH7v8vgLBgTPJoMyuh5PLxpBS9PX_VUrUb_bqPHv2A1lAdq4</recordid><startdate>20220301</startdate><enddate>20220301</enddate><creator>Barotov, Dostonjon Numonjonovich</creator><creator>Barotov, Ruziboy Numonjonovich</creator><general>MDPI AG</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7TB</scope><scope>7XB</scope><scope>8AL</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FR3</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>KR7</scope><scope>L6V</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>M7S</scope><scope>P62</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope><scope>DOA</scope><orcidid>https://orcid.org/0000-0001-5047-7710</orcidid></search><sort><creationdate>20220301</creationdate><title>Polylinear Transformation Method for Solving Systems of Logical Equations</title><author>Barotov, Dostonjon Numonjonovich ; Barotov, Ruziboy Numonjonovich</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c297t-1e24c2b3d9846297396850b1b0cbaa25e739fcc656d4ddd7fbe2c4bc1c822a2c3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><topic>Algebra</topic><topic>Algorithms</topic><topic>Boolean</topic><topic>Codes</topic><topic>Cryptography</topic><topic>Domains</topic><topic>harmonic functions</topic><topic>logical operations</topic><topic>Mathematical analysis</topic><topic>polylinear functions</topic><topic>Polynomials</topic><topic>systems of Boolean algebraic equations</topic><topic>Transformations (mathematics)</topic><topic>Variables</topic><topic>Zhegalkin polynomials</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Barotov, Dostonjon Numonjonovich</creatorcontrib><creatorcontrib>Barotov, Ruziboy Numonjonovich</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>Mechanical &amp; Transportation Engineering Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Computing Database (Alumni Edition)</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>Advanced Technologies &amp; Aerospace Database‎ (1962 - current)</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>Engineering Research Database</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Civil Engineering Abstracts</collection><collection>ProQuest Engineering Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Engineering Database</collection><collection>ProQuest Advanced Technologies &amp; Aerospace Collection</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering collection</collection><collection>ProQuest Central Basic</collection><collection>DOAJ Directory of Open Access Journals</collection><jtitle>Mathematics (Basel)</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Barotov, Dostonjon Numonjonovich</au><au>Barotov, Ruziboy Numonjonovich</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Polylinear Transformation Method for Solving Systems of Logical Equations</atitle><jtitle>Mathematics (Basel)</jtitle><date>2022-03-01</date><risdate>2022</risdate><volume>10</volume><issue>6</issue><spage>918</spage><pages>918-</pages><issn>2227-7390</issn><eissn>2227-7390</eissn><abstract>In connection with applications, the solution of a system of logical equations plays an important role in computational mathematics and in many other areas. As a result, many new directions and algorithms for solving systems of logical equations are being developed. One of these directions is transformation into the real continuous domain. The real continuous domain is a richer domain to work with because it features many algorithms, which are well designed. In this study, firstly, we transformed any system of logical equations in the unit n-dimensional cube Kn into a system of polylinear–polynomial equations in a mathematically constructive way. Secondly, we proved that if we slightly modify the system of logical equations, namely, add no more than one special equation to the system, then the resulting system of logical equations and the corresponding system of polylinear–polynomial equations in Kn+1 is equivalent. The paper proposes an algorithm and proves its correctness. Based on these results, further research plans are developed to adapt the proposed method.</abstract><cop>Basel</cop><pub>MDPI AG</pub><doi>10.3390/math10060918</doi><orcidid>https://orcid.org/0000-0001-5047-7710</orcidid><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 2227-7390
ispartof Mathematics (Basel), 2022-03, Vol.10 (6), p.918
issn 2227-7390
2227-7390
language eng
recordid cdi_doaj_primary_oai_doaj_org_article_9bcafb67830241fc807b902355dc2161
source Publicly Available Content Database
subjects Algebra
Algorithms
Boolean
Codes
Cryptography
Domains
harmonic functions
logical operations
Mathematical analysis
polylinear functions
Polynomials
systems of Boolean algebraic equations
Transformations (mathematics)
Variables
Zhegalkin polynomials
title Polylinear Transformation Method for Solving Systems of Logical Equations
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-24T07%3A39%3A05IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_doaj_&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Polylinear%20Transformation%20Method%20for%20Solving%20Systems%20of%20Logical%20Equations&rft.jtitle=Mathematics%20(Basel)&rft.au=Barotov,%20Dostonjon%20Numonjonovich&rft.date=2022-03-01&rft.volume=10&rft.issue=6&rft.spage=918&rft.pages=918-&rft.issn=2227-7390&rft.eissn=2227-7390&rft_id=info:doi/10.3390/math10060918&rft_dat=%3Cproquest_doaj_%3E2642439327%3C/proquest_doaj_%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c297t-1e24c2b3d9846297396850b1b0cbaa25e739fcc656d4ddd7fbe2c4bc1c822a2c3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2642439327&rft_id=info:pmid/&rfr_iscdi=true