Пример составного высказывания по выражению1) ¬ b↔(¬а→ (с∧в))2)(а↔в) →(с↔¬ b)3)¬(¬а∨¬(с∧в) определить истинность

#include "stdafx.h"   #include < iostream> #include < stdio.h> using namespace std; int main ()   { unsigned short int x1,y1,x2,y2; cout < < "input x1: "; cin> > x1; cout< < endl< < "input y1: "; cin> > y1; cout < < "input x2: "; cin> > x2; cout< < endl< < "input y2: "; cin> > y2; if ((abs(x2-x1)! =1) || (abs(y2-y1) ! =2)) {cout< < "not"; } else {cout< < "ok"< < endl; } system("pause"); return 0; }

Uses crt; var x,y,max: real; begin       read(x,y);       writeln;       if x> y then begin         write(x,' ',y);         max: =x;       end       else begin           max: =y;           write(y,' ',x)       end;       writeln;       writeln('максимум: ',max); end.