Проверьте результаты вычислений.
for i in range (size):
S += Array [i]
for i in range (size):
P1 *= Array [i]​

1)

#include <iostream>

#include <cmath>

#include <vector>

#include <algorithm>

#include <set>

using namespace std;

signed main() {

   srand(time(NULL));

   int n;

   cin >> n;

   int a[n];

   for(int i = 0; i < n; i++)

       a[i] = rand() % 5 + 1;

  vector<int> ans;

   for(int i = 0; i < n; i++)

   {

       cout << a[i] << " ";

       if(a[i] == a[0])

           ans.push_back(i);

   }

   cout << "\n";

   for(auto i: ans)

       cout << i << " ";

}

2)

#include <iostream>

#include <cmath>

#include <vector>

#include <algorithm>

#include <set>

using namespace std;

signed main() {

   int n,k;

   cin >> n >> k;

   int a[n];

   vector<int> ans;

   for(int i = 0; i < n; i++)

   {

       cin >> a[i];

       if(a[i] % k == 0)

           ans.push_back(a[i]);

   }

   for(auto i: ans)

       cout << i << " ";

}

3)

#include <iostream>

#include <cmath>

#include <vector>

#include <algorithm>

#include <set>

using namespace std;

signed main() {

   int n,z;

   cin >> n >> z;

   int a[n];

   for(int i = 0; i < n; i++)

   {

       cin >> a[i];

       a[i] = min(a[i],z);

   }

   for(auto i: a)

       cout << i << " ";

}

(1 + 0)*(0+0) + 1*0
(1 + 0) - истинна, т.к. дизъюнкция истинна если хотя-бы одна из переменных истинна
(0 + 0) - ложна, т.к. обе перменные ложны
(1 + 0)*(0+0) - ложна, т.к. первая скобка истинна, а вторая ложна, а в конъюнкции для истины обе скобки должны быть истинны.
1*0 - ложна, т.к. в конъюнкции обе переменные должны быть истинны.

Для удобства разделил скобками
((1 + 0)*(0+0)) + (1*0) - ложна, т.к. первая (большая) скобка ложна, вторая скобка (1*0) тоже ложна, между ними дизъюнкция, то есть хотя-бы одна из них должна быть истинна. Они обе ложны, значит результатом выражения

(1 + 0)*(0+0) + 1*0 

будет 0