Помогите с Алгеброй логикой и таблицой истинности

[Lastoz]

1)Построить таблицу истинности по исходному выражению.
2)Упростить исходное выражение по законам алгебры логики.
3)Построить таблицу истинности по упрощенному выражению.
4)Если последние столбцы в таблицах не совпадают - искать ошибку.
(A \/ ¬B \/ ¬C /\ B) -> (A /\ (C -> ¬(B \/ ¬C)))

p.s Помогите прошу это нужно к завтрашнему дню , Заранее огромное спасибо.

[dr.Chas]

Для первого, упрощать не умею.

program Project1;

{$APPTYPE CONSOLE}
var  a, b, c : boolean;

begin
  for a:=false to true do
    for b:=false to true do
      for c:=false to true do
        writeln(a:6, b:6, c:6, (a or Not(b) or not(c) and b)<=(a and (c<=not(b or NOT(c)))):6);

  readln;
end.