1. Укажіть порядок виконання логічних операцій у логічних виразах:
a) a or not a and b;
b) not a or not b and a;
c) (a or not b) and (not a or not b);
d) not a and not b or c and d.
2. Складіть таблиці істинності логічних виразів зі змінними
логічного типу a і b:
a) a or a and b;
г) not a or not b;
b) a or not a and b;
В таблице типа «объект-свойство» одна строка содержит информацию об одном объекте. Столбцы - отдельные характеристики (свойства) объектов. (Например каталог книг: в строках объекты - книги; в столбцах их свойства - автор, название, год выпуска и т.п.).
В таблице типа «объект-объект» отражается взаимосвязь между различными объектами. (Например таблица успеваемости: в строках объекты - ученики; в столбцах объекты - учебные дисциплины; цифры на пересечении строк и столбцов показывают их взаимосвязь - полученные оценки.)
1. Константы 3.1 и 0.8 переведены в машинное представление а затем назад в десятичное с максимальной для паскалевских данных вещественного типа real (он же double) точностью (вложения 1 и 2).
2. В системе компьютерной алгебры, позволяющей работать с произвольной точностью (выбрана точность в 30 значащих цифр) для полученных констант выполнены соответствующие заданному фрагменту программы вычисления (вложение 3)
3. Результат 0.499999999999999955591079014996 был переведен в машинное представление. Затем в машинное представление была переведена константа 0.5, которая, как видно во вложении 4, представляется в компьютере точно. Поэтому проверка на точное равенство с 0.5 дает не тот результат, который Вы ожидали.
4. Можно было также воспользоваться программой на паскале.
begin
var x:=3.1;
var y:=0.8;
var p:=2;
var a:=Frac(x); // =0,1
var b:=Frac(y)-0.5; // =0,3
var kp:=sqrt(sqr(0.5-a)+b*b); // =0,5
if abs(kp-0
Writeln(kp-0.5)
end.
Результат: -5.55111512312578E-17
Это как раз то, что так портит Вам всю картину.
По поводу Вашего условия if kp>=0.5 then p=p+1;
Ошибка имеет порядок 0.6·10⁻¹⁶ и наверно ничего страшного не будет, если оператор (с запасом) подправить на if kp>=(0.5-1e-15) then p:=p+1;