"Математические задачи Исчисления Высказываний" - читать интересную книгу автора (Тоноян Рафик)