В базисе ИЛИ-НЕ можно построить любую логическую операцию, так она образует базис для пространства булевых функций от двух переменных (можете прочесть даже на Вики, статья "
Стрелка Пирса").
А посоветовать литературу не могу, т.к. изучал это по конспектам. Но если надо алгоритм действий, то он таков:
1. Строим таблицу истинности для функции (у нас - И-НЕ).
2. Строим СДНФ или СКНФ в зависимости от того, какую форму нам нужно получить (в данном случае - СКНФ).
3. Если необходимо, минимизируем функцию (диаграммы Вейча, карты Карно, метод Квайна).
4. Из того, что получилось, находим, как будет выглядеть в необходимом базисе функция (у Вас - алгебра Пирса) путём дописывания двойного отрицания над полученной функцией и его раскрытия по правилам де Моргана до тех пор, пока форма не будет содержать только операции "ИЛИ-НЕ".
5. Полученную функцию уже можно строить на логических элементах.