Simplification of logical functions with application to circuits

DOI10.3934/ERA.2022168MaRDI QIDQ2700268zbMATH OpenOpenAlexFDO

Authors Rong Zhao, Yanjun Cui, Jun-e Feng

Publication date 20 April 2023

Published in Electronic Research Archive (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.3934/era.2022168

zbMATH Keywords

circuitslogical functionssemi-tensor productsimplification

Mathematics Subject Classification ID

Multilinear algebra, tensor calculus (15A69) Special matrices (15B99) Applications of design theory to circuits and networks (94C30)

Recommendations

• scientific article; zbMATH DE number 3987254
• scientific article; zbMATH DE number 1475233
• scientific article; zbMATH DE number 3854979
• scientific article; zbMATH DE number 3852960
• Design of logic circuits by approximating monotone functions

Cites work

• A Finite Convergence Criterion for the Discounted Optimal Control of Stochastic Logical Networks
• A Necessary and Sufficient Graphic Condition for the Original Disturbance Decoupling of Boolean Networks
• Analysis and control of Boolean networks. A semi-tensor product approach.
• Bisimulations of Boolean Control Networks
• Controllability and observability of Boolean control networks
• Feedback stabilization control design for switched Boolean control networks
• Identification of predictors of Boolean networks from observed attractor states
• Minimum-Time and Minimum-Triggering Observability of Stochastic Boolean Networks
• Observability of Boolean networks via matrix equations
• On adequate sets of multi-valued logic
• On detectability of Boolean control networks
• Optimal control of Boolean control networks with average cost: a policy iteration approach
• Output feedback stabilization of Boolean control networks
• Semi-tensor Product of Matrices and its Applications to Dynamic Systems
• Set controllability of Markov jump switching Boolean control networks and its applications
• Stability and Stabilization of Boolean Networks with Stochastic Delays
• Stabilization of Boolean control networks under aperiodic sampled-data control
• The set stabilization problem for Markovian jump Boolean control networks: an average optimal control approach

Cited in

(10)

• Shallow circuits and concise formulae for multiple addition and multiplication
• The use of symmetric variables for reducing the complexity of logical circuits
• Design of logic circuits by approximating monotone functions
• Research on simplifying the function tree based on Boolean algebra
• scientific article; zbMATH DE number 3852958 (Why is no real title available?)
• The simplification of logic functions based on integer lists forms
• scientific article; zbMATH DE number 3987254 (Why is no real title available?)
• scientific article; zbMATH DE number 30276 (Why is no real title available?)
• ULM Implicants for Minimization of Univers Logic Module Circuits
• scientific article; zbMATH DE number 1475233 (Why is no real title available?)

This page was built for publication: Simplification of logical functions with application to circuits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2700268)