Analytic solutions of logic equations
From MaRDI portal
The author deals with a system of disjunctive equations of the matrix form \(X = (A \& X) \vee B\), where \(A = |a_{ij} |\), \(X = \left( \begin{smallmatrix} x_1 \\ \vdots \\ x_n \end{smallmatrix} \right)\), \(B = \left( \begin{smallmatrix} b_1 \\ \vdots \\ b_n \end{smallmatrix} \right)\), \(i,j = 1, \dots, n\), and \(a_{ij}, x_i, b_i \in \{0,1\}\). The analytic solution of this system is formulated analogous to Cramer's rule for linear equations over fields.
Recommendations
- scientific article; zbMATH DE number 1953357
- The logics of analytic equivalence
- Solutions to the systems of functional equations of multivalued logic
- Analytic methods for the logic of proofs
- General solutions of equations in multiple-valued logic
- An algorithm for the solution of systems of logical equations
- scientific article; zbMATH DE number 3174467
- scientific article; zbMATH DE number 3852960
- scientific article; zbMATH DE number 1941691
- scientific article; zbMATH DE number 1176116
Cited in
(5)- The solution set relationship between logic equation of non-zero and non-one type and its related logic equations
- Solution and applications of simultaneous equations in a multi-valued logic algebra system
- scientific article; zbMATH DE number 3558635 (Why is no real title available?)
- scientific article; zbMATH DE number 1953357 (Why is no real title available?)
- scientific article; zbMATH DE number 2073626 (Why is no real title available?)
This page was built for publication: Analytic solutions of logic equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1904815)
