Используя таблицы истиности докажите или опровергните тождества

#include <iostream>

using namespace std;

int main()

{

 int m, i, imin;

 double* a;

 double s, smin;

 setlocale(LC_ALL, "Russian");

 cout << "Размерность массива: ";

 cin >> m;

 a = new double [m];

 cout << "Введите элементы массива:\n";

 for (i = 0; i < m; i++)

   cin >> a[i];

 imin = 0;

 for (i = 0; i < m; i++)

   if (a[i] < a[imin])

     imin = i;

 s = smin = 0;

 for (i = 0; i < m; i++)

   if (i != imin)

     s += a[i];

   else

     smin = a[i];

 cout << "\nРезультат = " << smin / s * 100 << "%\n";

}

Объяснение:

Появление электронных таблиц исторически совпадает с началом распространения ПК. Первая программа для работы с электронными таблицами – табличный процессор была создана в 1979 г., предназначалась для компьютеров типа Apple II и называлась VisiCalc. В 1982 г. появляется знаменитый табличный процессор Lotus 1-2-3, предназначенный для IBM PC. Lotus объединял в себе вычислительные возможности электронных таблиц, деловую графику и функции реляционной СУБД. Популярность табличных процессоров росла очень быстро. Появлялись новые программные продукты этого класса: Multiplan, Quattro Pro, SuperCalc и др. Одним из самых популярных табличных процессоров сегодня является MS Excel, входящий в состав пакета Microsoft Office.