Упростите выражения, используя законы алгебры логики (не таблицу истинности!): (A^(¬C)) \/ (A^B) \/ ((¬B)^(¬C))

Var
x1, y1, x2, y2, x3, y3, a, b, c, p, s: real;
begin
readln(x1, y1, x2, y2, x3, y3);
a:=sqrt(sqr(abs(x1-x2))+sqr(abs(y1-y2)));
b:=sqrt(sqr(abs(x2-x3))+sqr(abs(y2-y3)));
c:=sqrt(sqr(abs(x1-x3))+sqr(abs(y1-y3)));
p:=(a+b+c)/2;
s:=sqrt(p*(p-a)*(p-b)*(p-c));
if s=0 then write('Лежат на одной прямой') else write('Не лежат на одной прямой');
end.

Объясняю. Образуем из этих трёх точек треугольник. a, b, c - стороны треугольника. p - полу-периметр треугольника. s - площадь треугольника. Площадь вычисляется по формуле Герона. Если площадь равна нуля, значит точки лежат на одной прямой. Если нет - не лежат. 

N1
var a, b: integer;

•​ begin

•​ readln(a, b);

•​ a := a mod 2;
b := b mod 2;
•​ if (b > 0) and (a > 0) then

•​ writeln ('четных чисел нет')

•​ else

•​ writeln ('четное число есть');
end.

N2

#include <iostream>

using namespace std;

int main()
{
  int a;
  cin >> a;
  if(a < 100 || a > 999) cout  << "Неверное число" << endl;
  else
  {
    int a1 = a/100;
    int a2 = (a/10)%10;
    int a3 = a%10;
    if(a1%2==a2%2==a3%2==0) cout << "Да" << endl;
    else cout << "Нет" << endl;
  }
  return 0;
}