1. Какие проблемы решает формальная логика?
2. Определите основные понятия алгебры логики: логическая величина, логическая операция, логическая формула.
3. Сформулируйте правила выполнения основных логических операций.
4. Как определяется порядок выполнения логических операций в логических формулах?
5. Пусть а, b, с — логические величины, которые имеют следующие значения: а = ИСТИНА, b = ЛОЖЬ, с = ИСТИНА. Определить результаты вычисления следующих логических формул:
1) а и b;
2) а или b;
3) не а или b;
4) а и b или с;
5) а или b и с;
6) не а или b и с;
7) (а или b) и (с или b);
8) не (а или b) и (с или b);
9) не (а и b и с).
6. Постройте таблицы истинности для логических формул под номерами 3 - 9 из предыдущего задания.
ЯП: С++
#include <iostream>
int main() {
const int N = 5;
int arr[N][N] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25}; // создаем и заполняем двумерный массив 5x5
for (int i = 0; i < N; i++) // выводим на экран 2-мерный массив;
{
for (int j = 0; j < N; j++)
{
std::cout << arr[i][j] << "\t";
}
std::cout << std::endl;
}
std::cout << "Result #1: ";
for (int i = 0; i < N; i++) // вывод в консоль главной диагонали
{
std::cout << arr[i][i] << "\t";
}
std::cout << "\nResult #2: ";
for (int i = 0; i < N; i++) // вывод в консоль побочной диагонали
{
std::cout << arr[i][N - 1 - i] << "\t";
}
return 0;
}
Объяснение:
Во-вторых, цикл с предусловием(while) выполняется только тогда, когда его условие возвращает ложь. Если условие возвращает правду, цикл завершается. Бывает так, что при попытке первой итерации цикла условие уже возвращает правду. В этом случае цикл не будет выполнен ни разу.
Цикл с предусловием(repeat), наоборот, выполняется, пока условие возвращает правду и завершается ложью. Стоит заметить, что если цикл с предусловием проверяет своё условие перед итерацией, цикл с постусловием делает это после, а это значит, что последний выполнится хотя бы один раз.