Тогда выражение будет иметь вид (a + b) → b и нужно найти условия, когда оно ложно. Вместо этого, мы будем искать, когда отрицание этого условия истинно, т.е. истинность ¬( (a + b) → b)
Для начала избавимся от импликации
¬( ¬(a + b) + b)
А теперь примерим к внешнему отрицанию закон де-Моргана
1 строчка говорит о том что ты создал программу под таким названием
2 строчка ты создаешь 3 переменных типа integer(числовой тип данных)
3 строчка ты создаешь массив из 10 ячеек так же типа integer
4 строка начало программы
5 строка ты присваиваешь значение переменным которые создал во 2 строке
6 это функция вывода на экран(то что в скобках)
7 начало цикла который будет повторяться 10 раз
8 так же вывод в консоль
9 функция ввода с клавиатуры
10 проверка если итый (порядковый номер из массива) элемент массива больше s, тогда переменная s равна этому числу
11 конец цикла
12 начало другого цикла который так же повторяется 10 раз
13 начало
14 проверяешь если а итый равен s , тогда m+1
15 конец цикла
16 вывод на экран текста
17 конец программы
1, 2, 3, 4
Объяснение:
Введем обозначения:
a = X > 0, b = X > 4
Тогда выражение будет иметь вид (a + b) → b и нужно найти условия, когда оно ложно. Вместо этого, мы будем искать, когда отрицание этого условия истинно, т.е. истинность ¬( (a + b) → b)
Для начала избавимся от импликации
¬( ¬(a + b) + b)
А теперь примерим к внешнему отрицанию закон де-Моргана
(a + b) · ¬b
Раскрываем скобки
a · ¬b + b · ¬b
a · ¬b + 0
a · ¬b
Делаем обратную замену
( X > 0) · ¬(X > 4)
( X > 0) · (X ≤ 4)
Переведем это на более понятный язык:
X > 0 И X ≤ 4, или
0 < X ≤ 4
Из целых чисел сюда подойдут 1, 2, 3, 4.