An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra
This paper presents a methodology for evaluating propositional logic satisfiability using resolution-refutation. The method applies a strategy based on an algebra developed by the authors that estimates the possible outcomes of the expression and generates a logic value for refuting or accepting the satisfiability of the argument.
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Digital revista |
| Language: | English |
| Published: |
Instituto Politécnico Nacional, Centro de Innovación y Desarrollo Tecnológico en Cómputo
2015
|
| Online Access: | http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1870-90442015000200009 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|