Для поиска начните вводить запрос
Логики Лукасевича и простые числа