Determination of the Class of Validity of Logical Formulas by Directed Exhaustive Search
Author: Litvinenko, A.E.
Source: Cybernetics and Systems Analysis, Volume 36, Number 5, 10 September 2000 , pp. 652-658(7)
Abstract:An algorithm is described for the proof of satisfiability, general validity, and inconsistency of logical formulas. The algorithm is based on the method of directed exhaustive search for variants of truth values of variables.
Document Type: Regular Paper
Affiliations: National Aviation University, Kiev, Ukraine
Publication date: September 10, 2000