An algorithm for the solution of systems of logical equations
From MaRDI portal
Cited in
(9)- Reduction algorithms for solving large systems of logical equations
- Analytic solutions of logic equations
- The logic-algebraic equations method in system dynamics
- Solution methods of logical inequality groups of disjunctive normal form in the Luk propositional calculus system
- The use of associative information processing for constructing algorithms for solving systems of Boolean equations
- scientific article; zbMATH DE number 6001202 (Why is no real title available?)
- scientific article; zbMATH DE number 1255555 (Why is no real title available?)
- scientific article; zbMATH DE number 2073626 (Why is no real title available?)
- An algorithm for the solution of a system of logical equations
This page was built for publication: An algorithm for the solution of systems of logical equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5508681)