Логические функции: СКНФ и СДНФ, Жегалкин и классы Поста