Методика представления булевой функции через СКНФ