Строишь таблицу истинности. Просто выполняешь каждое действие и заносишь его в таблицу. ⇒ импликация. Таблица истинности во вложении. Если математически, то это условие: a ≤ b. Если оно выполняется, то условие истинно. Т.е. если a = 1, b = 0, то a ⇒ b = 0(ложь). Во всех остальных случаях 1(истина).
Выполнять надо по приоритету, как в математике. Сначала отрицание ¬, умножение ∧, сложение ∨ и т.д. Импликацию ⇒ обычно делают в конце, если нет эквивалентности ~. Ну и стоит обращать внимание на скобки.
Бейсик Python
CONST N = 20
DIM A (1 TO N) AS INTEGER
DIM I, J, K AS INTEGER
FOR I = 1 TO N
INPUT A(I)
NEXT I
…
END
// допускается также использовать
// две целочисленные переменные
// j и k
a = []
n = 20
for i in range(0, n):
a.append(int(input()))
…
Паскаль Алгоритмический язык
const
N = 20;
var
a: array [1..N] of
integer;
i, j, k: integer;
begin
for i := 1 to N do
readln(a[i]);
…
end.
алг
нач
цел N = 20
целтаб a[1:N]
цел i, j, k
нц для i от 1 до N
ввод a[i]
кц
…
кон
Си++
#include
#define N 20
int main() {
int a[N];
int i, j, k;
for (i = 0; i < N; i++)
cin >> a[i];
…
return 0;
Объяснение:
Строишь таблицу истинности. Просто выполняешь каждое действие и заносишь его в таблицу.
⇒ импликация. Таблица истинности во вложении. Если математически, то это условие: a ≤ b. Если оно выполняется, то условие истинно.
Т.е. если a = 1, b = 0, то a ⇒ b = 0(ложь). Во всех остальных случаях 1(истина).
Выполнять надо по приоритету, как в математике. Сначала отрицание ¬, умножение ∧, сложение ∨ и т.д. Импликацию ⇒ обычно делают в конце, если нет эквивалентности ~. Ну и стоит обращать внимание на скобки.