ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

THE VARIABLES ELIMINATION ALGORITHM FOR DEDUCTION OF LOGICAL COROLLARY ON THE RESOLUTION METHOD OF SENTENTIAL CALCULUS

Journal: Science and world (Vol.1, No. 24)

Publication Date:

Authors : ;

Page : 22-24

Keywords : sentential calculus; logical corollary; resolution method.;

Source : Downloadexternal Find it from : Google Scholarexternal

Abstract

The author suggests the algorithm of resolvent equation, on each iteration the number of variables lessens to one.

Last modified: 2016-07-22 19:56:41