16
Объяснение:
S := 0 // Переменная S = 0
нц для i от 1 до 2 // Начинаем цикл от 1 до 2 включительно
нц для j от 2 до 3 // Начинаем цикл от 2 до 3 включительно
S := S + i + j // S = S + i + j
кц // Конец цикла
Всего будет 4 итерации (повторов) у циклов, т. к. первый цикл выполняется 2 раза, а вложенный в него второй цикл выполняется также 2 раза ⇒ 2 * 2 = 4
Итерация 1:
S = 0 // i = 1 // j = 2
S = 0 + 1 + 2 = 3
Итерация 2:
S = 3 // i = 1 // j = 3
S = 3 + 1 + 3 = 7
Итерация 3:
S = 7 // i = 2 // j = 2
S = 7 + 2 + 2 = 11
Итерация 4:
S = 11 // i = 2 // j = 3
S = 11 + 2 + 3 = 16
¬ (A v B ) /\ ¬ C =(раскроем скобки по закону де-Моргана)=
= ¬A /\ ¬B /\ ¬ C =(доказательство этого перехода - через таблицу истинности)= ¬(A v B v C)
Доказательство последнего равенства:
1) ¬A /\ ¬B /\ ¬ C
А B C F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0
2) ¬(A v B v C)
Так как таблицы истинности совпали, последний переход равносилен.
ответ: ¬(A v B v C)
16
Объяснение:
S := 0 // Переменная S = 0
нц для i от 1 до 2 // Начинаем цикл от 1 до 2 включительно
нц для j от 2 до 3 // Начинаем цикл от 2 до 3 включительно
S := S + i + j // S = S + i + j
кц // Конец цикла
кц // Конец цикла
Всего будет 4 итерации (повторов) у циклов, т. к. первый цикл выполняется 2 раза, а вложенный в него второй цикл выполняется также 2 раза ⇒ 2 * 2 = 4
Итерация 1:
S = 0 // i = 1 // j = 2
S = 0 + 1 + 2 = 3
Итерация 2:
S = 3 // i = 1 // j = 3
S = 3 + 1 + 3 = 7
Итерация 3:
S = 7 // i = 2 // j = 2
S = 7 + 2 + 2 = 11
Итерация 4:
S = 11 // i = 2 // j = 3
S = 11 + 2 + 3 = 16
¬ (A v B ) /\ ¬ C =(раскроем скобки по закону де-Моргана)=
= ¬A /\ ¬B /\ ¬ C =(доказательство этого перехода - через таблицу истинности)= ¬(A v B v C)
Доказательство последнего равенства:
1) ¬A /\ ¬B /\ ¬ C
А B C F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0
2) ¬(A v B v C)
А B C F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0
Так как таблицы истинности совпали, последний переход равносилен.
ответ: ¬(A v B v C)