Постройте схемы для следующих логических функций

1) (x∧y⊕x)↓(y∧z⊕z)↔y
2) (y∧¬x∨z↓y∧z) | w⊕z
3) (x↔x∧¬y∨x)∧w∨x∧z

В таблице типа «объект-свойство» одна строка содержит информацию об одном объекте. Столбцы - отдельные характеристики (свойства) объектов. (Например каталог книг: в строках объекты - книги; в столбцах их свойства - автор, название, год выпуска и т.п.).

В таблице типа «объект-объект» отражается взаимосвязь между различными объектами. (Например таблица успеваемости: в строках объекты - ученики; в столбцах объекты - учебные дисциплины; цифры на пересечении строк и столбцов показывают их взаимосвязь - полученные оценки.)

Чтобы разъяснить происходящее, были сделаны следующие шаги.
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;