Базисное исчисление высказываний и диагностические формулыдипломная работа (Специалист)