"Глубинные знания по математической логике" - это доказать, что штрих Шеффера и стрелка Пирса представляю собой полные системы булевых функций... В этой рабочей тетради - не математическая логика, а просто задачи, не требующие ничего, кроме сообразительности. Ну посмотрите сами задания!