Помогите пожалуйста!

[alexameleon]

Написать программу, которая определяет истинность предиката.
L=(A And(C OR D))XOR(B OR A), A=(arcsin(x)+arrcos(x)=pi), B=false, C=(x>y), D=(k div n>=3)

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

А в чём у вас проблемы? Попробуйте сами сначала, потом покажите что у вас не получается, если что, задайте вопросы, вам помогут, но не сделают за вас.

Начинайте писать.

[alexameleon]

uses crt;
const t=0.001;
var x,y:real;
l,a,b,c,d:boolean;
k,n:integer;
begin
cls;
writeLn('введите два действительных числа x,y');
read(x,y);
writeLn('введите n,k');
read(n,k);
A:=(arctan(x/sqrt(1-sqr(x)))+arctan(1/sqrt(1-sqr(x))))=pi;
B:=false;
C:=(x>y);
D:=(k div n>=3);
L:=(a and(c or d))xor(b or a);
write(l);
end.

[Utkin]

A:=(arctan(x/sqrt(1-sqr(x)))+arctan(1/sqrt(1-sqr(x))))=pi;

= пи это как?

[Smitt&Wesson]

Долго смотрел на формулу и на код. Никак не могу понять, откуда там вычисление корня взялось?

[Аватар]

Никак не могу понять, откуда там вычисление корня взялось

выражение arcsin через arctg

неверная вещественная операция

Видимо из-за того, что x >= 1

=pi

Никогда не выполнится, наверняка. Смотри сравнение вещественных чисел

[min@y™]

= пи это как?

вот именно. Разность фаз синуса и косинуса всегда равна пи/2. Поэтому сумма углов синуса и косинуса тоже всегда равна пи/2 при любом значении аргумента - можете убедиться, построив график функции y(x) = arccos(x)+arcsin(x).

Итого:

A:= (arcsin(x)+arrcos(x) = pi); // false
B:= false;
C:= (x > y); 
D:= (k div n >= 3);

{
  L = (A And (C OR D)) XOR (B OR A) =
  = false xor (false or false) = false
}  

L:= false; // независимо от x, y, k, n

Напечатай мой ответ и покажи преподу-мудаку. Если он будет недоволен - вали всё на меня.

[Аватар]

преподу-мудаку

Не согласен. Нормальное задание, предполагающее минимальное построение модели. Нужно еще элементарно соображать что кодишь. У меня вот по-быстрому соображалки не хватило, что всегда пи/2

[min@y™]

Нормальное задание

Когда выходные данные не зависят от входных - это нормально?!

[Аватар]

Нормально, если сумел это показать и доказать