Составьте программу проверки эквивалентности 2-ух логических функций. Постройте

То есть нужна программка, строящая таблицы истинности для заданных функций?

Да

Помоги пожалуйсто)

Вправду трудно, если учесть что функции вводятся извне.

А можно только, программку проверки 2-ух функций?

Она и так инспектирует две функции.

//так и не поняла как вводить функции с клавиатуры. Спрошу у учителя.
var b1,b2,b:boolean;

function imp(a, b : boolean) : boolean;
begin
imp:=(not a) or b;
end;

begin;
writeln('Implication');
For b1:=false to true do
For b2:=false to true do
writeln(b1:7,b2:7,imp(b1,b2):7);

writeln('not (x) or y');
For b1:=false to true do
For b2:=false to true do
writeln(b1:7,b2:7,((not b1) or b2):7);

For b1:=false to true do
For b2:=false to true do
if imp(b1,b2)lt;gt;((not b1) or b2) then
 begin;
  writeln('Не эквивалентны');
  exit;
 end;
writeln('Эквивалентны');
end.