Логика и математика: Построение СКНФ по таблице истинности