1. Написать алгоритм следующей задачи: вывести на экран данные из ячеек массива, индекс которых делится на 3. Написать код С++

3. B ∨ A

4. A & ¬(¬B ∨ C) ↔ A & B & ¬C (высказывания являются эквивалентными)

5. ложное

Объяснение:

3.

(¬A & B) ∨ (A & ¬B) ∨ (A & B) = (¬A & B) ∨ (A & B) ∨ (A & ¬B) = B & (¬A ∨ A) ∨ (A & ¬B) = B & 1 ∨ (A & ¬B) = B ∨ (A & ¬B) = (B ∨ A) & (B ∨ ¬B) = (B ∨ A) & 1 = B ∨ A

Согласно переместительному закону:

(¬A & B) ∨ (A & ¬B) ∨ (A & B) = (¬A & B) ∨ (A & B) ∨ (A & ¬B)

Согласно распределительному закону для логического сложения:

(¬A & B) ∨ (A & B) = B & (¬A ∨ A)

Согласно закону исключения третьего:

¬A ∨ A = 1

Согласно закону исключения констант для логического умножения:

B & 1 = B

Согласно распределительному закону для логического умножения:

B ∨ (A & ¬B) = (B ∨ A) & (B ∨ ¬B)

Согласно закону исключения третьего:

B ∨ ¬B = 1

Согласно закону исключения констант для логического умножения:

(B ∨ A) & 1 = B ∨ A

4.

A & ¬(¬B ∨ C) = A & ¬(¬B) & ¬C = A & B & ¬C

Согласно закону де Моргана:

¬(¬B ∨ C) = ¬(¬B) & ¬C

Согласно закону двойного отрицания:

¬(¬B) = B

A & ¬(¬B ∨ C) ↔ A & B & ¬C

(высказывания являются эквивалентными)

Составим таблицы истинности для доказательства эквивалентности (картинки)

5.

(¬(X < 5) ∨ (X < 3)) & (¬(X < 2) ∨ (X < 1)) при X = 1

Подставим значение X в высказывание, а затем определим истинность или ложность

(¬(1 < 5) ∨ (1 < 3)) & (¬(1 < 2) ∨ (1 < 1)) = (¬(истина) ∨ (истина)) & (¬(истина) ∨ (ложь)) = (ложь ∨ истина) & (ложь ∨ ложь) = истина & ложь = ложь

Общий порядок действий:  

1) скобки

2) НЕ (¬, черта над выражением) - значение противоположно исходному высказыванию  

3) И (&, ∧) - истинно, когда оба исходных высказывания истинны  

4) ИЛИ (∨) - ложно, когда оба исходных высказывания ложны

Реализация на с++

Уровень А
#include<iostream.h>

using namespace std;

int main(){
  int a,b;
  cin >>a >> b;
  double s = 0.5 * a * b;
  cout << s << endl;
  return 0;
}
Уровень B
#include<iostream.h>

using namespace std;

int main(){
  int n;
  cin >> n;
  (n%3==0) ? n*2 : n+n%3;
  cout << n << endl;
  return 0;
}
Уровень C
#include<iostream.h>

using namespace std;

int main(){
  int summa = 0;
  for(int i = 1; i < 100; i+=2){
     summa += i;
  }
  cout << summa << endl;
  return 0;
}