SinkoY., “The Methodical Recommendations of Study of a Theme “Normal Forms for the Formulas of Algebra of the Statements” with use of Integrated Program Environment ‘MatLog’”, ITE, no. 2, pp. 130-139, May 2008.