Сднф с помощью таблицы истинности Скнф и сднф по таблице истинности