Lytvyn, V. V.; Bobyk, I. O.; Vysotska, V. A. APPLICATION OF ALGORITHMIC ALGEBRA SYSTEM FOR GRAMMATICAL ANALYSIS OF SYMBOLIC COMPUTATION EXPRESSIONS OF PROPOSITIONAL LOGIC. RIC 2017.