Аудиторная самостоятельная работа №11 «Приведение формул алгебры высказываний к КНФ, ДНФ, СКНФ и СДНФ виду»