Решить: 1. нужно равносильными преобразованиями каждую из следующих формул к дизъюнктивной нормальной форме: а) (x↔y) ∧ ¬ (z→ t) б) ((x → y) → (z→ ¬ x)) → (y→ ¬z)

#include<iostream.h>

#include<conio.h>

#include<stdio.h>

int main()

 {

      int b;                                 // наше число b

      clrscr();                           // очищаем экран 

      cout<<"Введите b: ";  // Выводим на экран приглашение ввести и  

      cin>>b;                          // b присвиваем введённое значение  

         // если b=0 то выводим соответствующее сообщение 

        if (b==0)      cout<<"Ноль Совсем Ноль \n "; 

       // если b<0 и остаток от деления на 2 =0 то это  отрицательное четное число

        if  ((b<0) && (b%2)==0) cout<<"отрицательное четное число \n ";  

// если b<0 и остаток от дления на 2 <>0 то это  отрицательное нечетное число

 if  ((b<0) && (b%2)!=0) cout<<"отрицательное нечетное число \n ";

 // если b>0 и остаток от деления на 2 =0 то это  положительное   четное число  

        if  ((b>0) && (b%2)==0) cout<<"положительное четное число \n ";  

   // если b>0 и остаток от деления на 2 <>0 то это  положительное  нечетное число     

        if  ((b>0) && (b%2)!=0) cout<<" положительное  нечетное число \n ";   

  getch();   // ждём нажатия на любую клавишу перед  закрытием

  return 0; // стандартный выход  

} 

p := sign(y + 13 * a) * power(abs(y + 13 * a), 1/3);

Объяснение:

Единственная проблема тут - как записать кубический корень. В паскале есть функция power(a, p), которая возводит a в степень p, но если p не целое, оно работает только для положительных (для p > 0 неотрицательных) a. Кубический корень же определён для всех a.

Решение такое: посчитать кубический корень для модуля , а потом поставить такой же знак, что и под корнем.

Полностью программа может выглядеть, например, так:

var p, y, a: real;

begin

 read(y, a);

 p := sign(y + 13 * a) * power(abs(y + 13 * a), 1/3);

 write(p)

end.