Логические операторы

[Serge_Bliznykov]

Буду признателен, если напишите правильный способ...

дело в том, что задания типа 1.e и 2.e одни из самых "навороченных" в данном списке.
решение "в лоб":

e) if ((A<50) and (B>=50) and (C>=50))
       or ((A>=50) and (B<50) and (C>=50))
       or ((A>=50) and (B>=50) and (C<50)) 
then {...};

[Johnson]

ну в лоб-то и я могу))) должнао же быть нормальное применение логики?

[Serge_Bliznykov]

ну в лоб-то и я могу)))

тут же учебные задачи. Тут прямое, ясное, наглядное и, главное, ПРАВИЛЬНО РАБОТАЮЩЕЕ, решение и нужно!

должно же быть нормальное применение логики?

не исключено. но мне быстро не удалось найти красивое и правильное решение...
можно, конечно, написать так:

if (ord(A<50) + ord(B<50)  + ord(C<50)) = 1 then ...

но это уже хакерство!..
да и не думаю, что преподаватель зачтёт это (безусловно правильно работающее решение) как верное!

[veniside]

так там вроде только один вариант не подходит, который и надо исключить:

R := (A xor B xor C) and not (A and B and C);

(A, B и C -- булевские переменные)

[Serge_Bliznykov]

Сообщение от veniside

так там вроде только один вариант не подходит, который и надо исключить:

R := (A xor B xor C) and not (A and B and C);

Ага. Точно. Вы правы!

[Вадим Мошев]

Смотрите, про XOR.
Если нам требуется формализовать выражение

e) только одно из чисел Х, У и Z кратно пяти;

То это будет выглядеть так (кстати, оператор XOR здесь не нужен).

Пусть булевые переменные a,b,c означают: X,Y,Z кратно пяти соответственно.
Для обозначения отрицание переменном примем обозначение: a',b',c'.

То есть, если a означает X кратно 5, то a' (НЕ a) означает x не кратно 5.

Таким образом, формальная запись исходного выражения, будет выглядеть так:

(a И b' И с') ИЛИ (a' И b И с') ИЛИ (a' И b' И с)

// а вообще, в подобных вопросах дискретная математика (в частности булева алгебра) суть хорошее подспорье

Добавлено:

Спешу заметить, что XOR в данном случае не помогает:

давайте предположим, что все числа X,Y, Z кратны 5. (A = B = C = 1 (истина))
Таким образом:
A XOR B XOR C = 1 XOR 1 xor 1 = 0 XOR 1 = 1.
Результат неверен, поскольку на все числа, кратные пяти, формула ответила положительно, что идёт вразрез с заявленными требованиями.

Ещё добавлено:

Разумеется, можно свести написанной мной выражение к виду A (оператор) B (оператор) C.
Но:

1. Программисту, который впервые видит такое выражение, придётся разбираться, что же же оно делает (может даже придётся составить таблицу истинности, что, впрочем, совсем не сложно).
2. Придётся пошевелить мозгами (может, чуть-чуть), чтобы выполнить указанное мной выше преобразование.

А я за удобочитаемость и понятность кода.

[Serge_Bliznykov]

Вадим Мошев, Вы всё правильно написали.

Но, обратите внимание, veniside в пост #14 написал решение именно через XOR)

для вашего примера

Пусть булевые переменные a,b,c означают: X,Y,Z кратно пяти соответственно.

результат := (a xor b xor c) and not (a and b and c);