Строишь таблицу истинности. Просто выполняешь каждое действие и заносишь его в таблицу. ⇒ импликация. Таблица истинности во вложении. Если математически, то это условие: a ≤ b. Если оно выполняется, то условие истинно. Т.е. если a = 1, b = 0, то a ⇒ b = 0(ложь). Во всех остальных случаях 1(истина).
Выполнять надо по приоритету, как в математике. Сначала отрицание ¬, умножение ∧, сложение ∨ и т.д. Импликацию ⇒ обычно делают в конце, если нет эквивалентности ~. Ну и стоит обращать внимание на скобки.
Собсна на c++ #include <iostream> #include <conio.h> using namespace std; int main() { setlocale(LC_ALL, "Russian"); const int N = 5, M = 5; int a[N][M]; int min; cout << "Zapolnite matricu 5 na 5: " << endl; for (int i(0); i < N; i++) { for (int j(0); j < M; j++) { cin >> a[i][j]; } } min = a[0][0]; for (int i(0); i < N; i++) { for (int j(0); j < M; j++) { if (min > a[i][j]) min = a[i][j]; } } cout <<"Minimal`nii element: "<< min << endl; _getch(); return 0;}
Строишь таблицу истинности. Просто выполняешь каждое действие и заносишь его в таблицу.
⇒ импликация. Таблица истинности во вложении. Если математически, то это условие: a ≤ b. Если оно выполняется, то условие истинно.
Т.е. если a = 1, b = 0, то a ⇒ b = 0(ложь). Во всех остальных случаях 1(истина).
Выполнять надо по приоритету, как в математике. Сначала отрицание ¬, умножение ∧, сложение ∨ и т.д. Импликацию ⇒ обычно делают в конце, если нет эквивалентности ~. Ну и стоит обращать внимание на скобки.