Lytvyn, V. V., Bobyk, I. O., & 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). https://doi.org/10.15588/1607-3274-2016-4-10