3 results for “disjunction”

Set a search alert

Research ArticleOpen accessIn the keywordsA Method of Deductive Logical Inference ProofsMaher A. Nabulsi, Ayman M. AbdallaA method of proof is presented and used in proving theorems in logic and set theory. Many commonly used methods of proof are rigid and not easy to apply in proving different theorems. This study deductively draws conclusions from rules of logical inference and then, it generalizes the deduction methods to be applied to logic and set theory. Then, it … …Journal of Computer Science, Vol. 4, Issue 4 · 30 Apr 2008 · 7,475 accessesView PDF Cite

Research ArticleOpen accessIn the abstractCharacterization of the Earth's Surface State by Unsupervised Classification: Case of Vegetated, Aquatic and Mineral SurfacesJean-Claude Okaingni, Sié Ouattara, Adles Kouassi, Alain ClémentIn this study, we propose an unsupervised classification scheme based on the Dempster-Shafer Theory (TDS) and the Dezert-Smarandache Theory (DSmT) to characterize vegetated, aquatic and mineral surfaces. From pre-processed ASTER satellite images (georeferencing, geometric correction and 15 m re-sampling), neo-channels were produced by determining the spectral indices NDVI, MNDWI and NDBaI, considered as sources of information for classification of a … …American Journal of Applied Sciences, Vol. 15, Issue 7 · 27 Aug 2018 · 8,176 accessesView PDF Cite

Research ArticleOpen accessIn the abstractCONSTRUCTION OF GENERAL SUBSUMPTIVE SOLUTIONS OF BOOLEAN EQUATIONS VIA COMPLETE-SUM DERIVATIONAli Muhammad Ali Rushdi, Hussain Mobarak AlbarakatiBoolean-equation solving permeates many diverse areas of modern science. To solve a system of Boolean equations, one usually combines them into an equivalent single Boolean equation {f(X) = 0} whose set of solutions is exactly the same as that of the original system of equations. One of the general classes of solutions for Boolean equations is the subsumptive general solution, … …Journal of Mathematics and Statistics, Vol. 10, Issue 2 · 13 Mar 2014 · 7,109 accessesView PDF Cite