An utilisation of Boolean differential calculus in variables partition calculation for decomposition of logic functions.
Stefan KolodzinskiEdward HrynkiewiczPublished in: DDECS (2009)
Keyphrases
- multi valued
- boolean logic
- computer algebra
- real numbers
- real valued
- boolean functions
- decomposition method
- linear functions
- truth values
- automated theorem proving
- disjunctive normal form
- proof procedure
- random variables
- logical framework
- proof theory
- modal logic
- flip flops
- binary variables
- natural deduction
- algebraic structure
- continuous variables
- theorem proving
- sequent calculus
- transition systems
- relation algebra
- truth table