Кратко: для целого числа \(n\) проверяемое условие такое: \[ (n>0)\land(n\bmod 2=0). \] Знак \(\land\) означает логическое «И»: число должно быть одновременно положительным и чётным.
Алгоритм
- Ввести целое число \(n\).
- Вычислить логическое значение \(A\): \(n>0\).
- Вычислить логическое значение \(B\): \(n\bmod 2=0\) — остаток от деления на 2 равен нулю.
- Найти результат \(A\land B\).
- Если результат истинен, вывести «Да», иначе — «Нет».
Словесная запись:
- ввод \(n\);
- \(A := (n>0)\);
- \(B := (n\bmod2=0)\);
- если \(A\land B\), то вывод «Да»;
- иначе вывод «Нет».
Можно записать и через «НЕ» и «ИЛИ»: \[ (n>0)\land(n\bmod2=0) \equiv \lnot\bigl((n\le0)\lor(n\bmod2\ne0)\bigr). \]
Проверка
- \(n=4\): \(4>0\) — истина, \(4\bmod2=0\) — истина, значит «Да».
- \(n=-2\): \(-2>0\) — ложь, хотя число чётное; «И» даёт ложь, значит «Нет».
- \(n=0\): \(0\) не является положительным, значит «Нет».
- \(n=3\): число положительное, но нечётное, значит «Нет».
Важно: \(0\) не считается положительным числом, а чётность обычно проверяют только у целых чисел.