Приёмы преобразования формул. Доказать тождественную истинность.

DATA 101,98,100,108,97,106,99,100,112,96,107,98
DIM a(1 TO 12) AS INTEGER
DIM b(1 TO 12) AS INTEGER, c(1 TO 12) AS INTEGER
DIM i AS INTEGER, ib AS INTEGER, ic AS INTEGER
CLS
ib = 0: ic = 0
FOR i = 1 TO 12
        READ a(i)
        SELECT CASE a(i)
        CASE 100
                ib = ib + 1
                b(ib) = i
        CASE IS > 100
                ic = ic + 1
                c(ic) = i
        END SELECT
NEXT i

PRINT "План (100%) в месяцах: ";
FOR i = 1 TO ib
        PRINT b(i);
NEXT i
PRINT
PRINT "перевыполнение плана в месяцах ";
FOR i = 1 TO ic
        PRINT c(i);
NEXT i
END

Результат выполнения программы:
План (100%) в месяцах:  3  8
перевыполнение плана в месяцах  1  4  6  9  11

#include <iostream>
#include <cstdlib>
#include <ctime>
int main()
{
    using namespace std;
    cout << "Enter size of array: ";
    int N;
    cin >> N;
    int * ARR = new int[N];
    srand(time(0));
    int i;
    for (i = 0; i < N; ++i)
        ARR[i] = rand() % 100 + 1;

    cout << "Here is an original array:\n";
    for (i = 0; i < N; ++i)
        cout << ARR[i] << "  ";
    cout << endl;

    int temp = ARR[N - 1];
    for (i = N - 1; i > 0; --i)
        ARR[i] = ARR[i - 1];
    ARR[0] = temp;

    cout << "\nHere is a new array:\n";
    for (i = 0; i < N; ++i)
        cout << ARR[i] << "  ";
    cout << endl;

    return 0;
}