нарисуйте домик в пайнте из кирпича с садом и солнцем

1) Логическое выражение (A v С) & В соответствует данному фрагменту таблицы истинности;
2) Логическое выражение (A v В) & (С → А) не соответствует данному фрагменту таблицы истинности, т. к. уже на первом наборе значение рассматриваемого логического выражения не совпадает со значением F. Проведение дальнейших вычислений не имеет смысла;
3) Логическое выражение (А & В v С) & (В → А & С) не соответствует данному фрагменту таблицы истинности;
4) Логическое выражение (А → В) v (С v А → В) соответствует данному фрагменту таблицы истинности.

#include <iostream>

#include <vector>  

using namespace std;

int main(){

   setlocale(LC_ALL, "Russian"); //Чтобы на русском писать текст  

   int n, i;

   cout << "Введите количество элементов в массиве : ";

   cin >> n; //Ввожу количество элементов в массиве

   vector<int>  arr(n);// объялвяю массив с n элементами

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

   //И заполнение массива,  и замена элементов на -1 и 1 будут происходить в одном цикле)

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

       cin >> arr[i];//Заполняю массив

       if (arr[i] > 0)//Проверяю элемент и заменяю его, но не знаю, что с нулем делать  

           arr[i] = 1;// поэтому просто оставлю его :D

       if (arr[i] < 0)

           arr[i] = -1;

   }

   cout << endl << "Массив : ";

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

       cout << arr[i] << "\t";

   cout << endl;

   system("pause");

   return 0;

}