Для множества дизъюнктов {¬p(g(x))∨q(f(x), b)∨r(a, f(y), z) , ¬q(z, z)∨r(z, z, z)∨¬p(z)} определите количество констант, которое содержит эрбрановский универсум 2-го уровня

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

// Solve -- метод, обеспечивающий решение.

using System;

namespace ConsoleApp1

{

   internal class Program

   {

       private static void Main(string[] args)

       {

           double a, b, c;

           Console.Write("a = ");

           a = double.Parse(Console.ReadLine());

           Console.Write("b = ");

           b = double.Parse(Console.ReadLine());

           Console.Write("c = ");

           c = double.Parse(Console.ReadLine());

           if (a == 0)

           {

               Console.WriteLine("incorrect data");

               return;

           }

           Console.WriteLine();

           Solve(a, b, c);

           Console.ReadLine();

       }

       private static void Solve(double a, double b, double c)

       {

           double d = b * b - 4 * a * c;

           if (d < 0)

           {

               Console.WriteLine("No solutions");

               return;

           }

           double sd = Math.Sqrt(d);

           double x1 = (-b + sd) / (2 * a);

           double x2 = (-b - sd) / (2 * a);

           if (d == 0)

           {

               Console.WriteLine($"x = {x1}");

               return;

           }

           Console.WriteLine($"x1 = {x1}");

           Console.WriteLine($"x2 = {x2}");

       }

   }

}

Program Stipendiya;
type
Student = record
Ocenka: array [1..5] of Byte;
end;
var
i, j: Byte;
Summa: Integer;
Troechik: Boolean;
Studenti: array [1..25] of Student;
begin
for i:=1 to 25 do
begin
// Zapolnyaem ocenki studentov:
WriteLn('Vvedite ocenki '+IntToStr(i)+' studenta: ');
for j:=1 to 5 do
begin
Write('Ocenka za '+IntToStr(i)+' ekzamen: ');
ReadLn(Studenti[i].Ocenka[j]);
end;
end;

// Chitaem summu

S:=0;

WriteLn('');

for i:=1 to 25 do
begin
//
Troechik:=False;
//
for j:=1 to 5 do
if Studenti[i].Ocenka[j] < 4 then Troechik:=True;
//
if not Troechik then
begin
WriteLn('Vidat stipendiu '+IntToStr(i)+' studentu');
Summa:=Summa + 900;
end;
end;

// Vivod summi vsex stipendii
WriteLn('Summa vsex stipendii = '+IntToStr(Summa));
end.