Требуется написать программы, определяющие является ли число простым
а) используя теорему Вильсона
б) используя тест Соловея-Штрассена (надо умсеть вычислять символы Лежандра и Якоби)
в) используя тест Рабина-Миллера
Где можно найти информацию об этих методах проверки чисел?
PS
Может у кого нибудь завалялась програмка, которая по таблице истинности строит ДНФ и КНФ?