Упростите логические выражения: ¬(A & B) V (A & ¬B)

using System;

using System.Collections.Generic;

using System.Linq;

using System.Text;

using System.Threading.Tasks;

namespace Global

{

   class Program

   {

       static void Main(string[] args)

       {

           string first_x = Console.ReadLine();

           int first_input = Convert.ToInt16(first_x);

           int y = 1 - first_input;

           y = y + 3 * Get_x();

           y = y - 4 * Get_x();

           Console.Write(y);

           Console.Read();

       }

       static int Get_x()

       {

           string input = Console.ReadLine();

           int x = Convert.ToInt16(input);

           return x;

       }

   }

}

Объяснение:

// PascalABC.NET 3.3, сборка 1583 от 25.11.2017
// Внимание! Если программа не работает, обновите версию!

begin
  var a,b,c,d,kn,kp:real;
  Read(a,b,c,d);
  if a>0 then kp+=1 else if a<0 then kn+=1;
  if b>0 then kp+=1 else if b<0 then kn+=1;
  if c>0 then kp+=1 else if c<0 then kn+=1;
  if d>0 then kp+=1 else if d<0 then kn+=1;
  Writeln('Положительных ',kp,', отрицательных ',kn)
end.

Пример
8 -2 0 -4
Положительных 1, отрицательных 2

Для прочих версий языка Паскаль

 var
  a,b,c,d,kn,kp:real;

begin
  Read(a,b,c,d);
  kp:=0; kn:=0;
  if a>0 then kp+=1 else if a<0 then kn+=1;
  if b>0 then kp+=1 else if b<0 then kn+=1;
  if c>0 then kp+=1 else if c<0 then kn+=1;
  if d>0 then kp+=1 else if d<0 then kn+=1;
  Writeln('Положительных ',kp,', отрицательных ',kn)
end.