Lytvyn, V.V., Bobyk, I.O. and Vysotska, V.A. 2017. APPLICATION OF ALGORITHMIC ALGEBRA SYSTEM FOR GRAMMATICAL ANALYSIS OF SYMBOLIC COMPUTATION EXPRESSIONS OF PROPOSITIONAL LOGIC. Radio Electronics, Computer Science, Control. 4 (Jan. 2017). DOI:https://doi.org/10.15588/1607-3274-2016-4-10.