Логические основы ЭВМ. СДНФ и СКНФ Калькулятор таблицы истинности скнф