Основы математической логики Построение скнф по таблице истинности