Роботу присвячено програмі «Алгоритм Очевидності», що була ініційована академіком В. М. Глушковим у 1970 році і знайшла своє втілення у вигляді російськомовної та англомовної систем SAD, призначених для автоматизованого проведення дедукції. Надано опис їхніх характерних рис та особливостей. Наведено приклади, які демонструють можливість їх використання для розв'язання математичних і повсякденних задач, що потребують виконання дедуктивних побудов. Описано можливі шляхи по-дальшого розвитку англомовної системи SAD.