Информатика 10-11. Книга 1. Теория (с задачами и решениями). Шауцукова Л.З. - 219 стр.

    Примеры записи логических выражений, истинных при выполнении
                         указанных условий.

                                                             Запись на школьном
                      Условие
                                                           алгоритмическом языке
 Дробная часть вещественого числа a равна нулю                  int(a) = 0

 Целое число a — четное                                        mod(a, 2) = 0

 Целое число a — нечетное                                      mod(a, 2) = 1

 Целое число k кратно семи                                     mod(a, 7) = 0

 Каждое из чисел a, b положительно                             (a>0) и (b>0)

                                                           ((a>0) и (b<=0)) или
 Только одно из чисел a, b положительно                      ((a<=0) и (b>0))

 Хотя бы одно из чисел a, b, c является отрицательным    (a<0) или (b<0) или (c<0)

 Число x удовлетворяет условию a < x < b                       (x>a) и (x=1) и (x<=3)

                                                         ((mod(a, 2)=0) и (mod(b,
 Целые числа a и b имеют одинаковую четность            2)=0) или ((mod(a, 2)=1) и
                                                              (mod(b, 2)=1))

 Точка с координатами (x, y) лежит в круге радиуса       (x-a)**2 + (y-b)**2 < r*r
r с центром в точке (a, b)
 Уравнение ax^2 + bx + c = 0 не имеет действительных          b*b - 4*a*c < 0
корней
 Точка (x, y) принадлежит первой или третьей                ((x>0) и (y>0)) или
четверти                                                      ((x<0) и (y>0))

 Точка (x, y) принадлежит внешности единичного              (x*x + y*y > 1) или
круга с центром в начале координат или его второй       ((x*x + y*y <= 1) и (x<0) и
четверти                                                           (y>0))

 Целые числа a и b являются                                       a = -b
взаимнопротивоположными
 Целые числа a и b являются взаимнообратными                      a*b = 1

 Число a больше среднего арифметического чисел b, c,          a > (b+c+d) / 3
d
 Число a не меньше среднего геометрического чисел          a >= (b+c+d) ** (1/3)
b, c, d
 Хотя бы одна из логических переменных F1 и F2                   F1 или F2
имеет значение да
 Обе логические переменые F1 и F2 имеют значение                  F1 и F2
да
 Обе логические переменые F1 и F2 имеют значение               не F1 и не F2
нет