Слабейшие предусловия

Составить спецификацию, написать программу и доказать правильность программы согласно спецификации с помощью метода слабейших предусловий(WP).
Задание:
програма отримує на вході значення A, B, C, а також додаткові дані згідно до варіанту.
Задание:
Обчислити добуток підмножини елементів найближчих до заданого X або найдальших від
заданого X в залежності від того, чи задані в загальній умові значення упорядковані (за
незростанням, чи за неспаданням).
К-во страниц: 2