Turbo Pasckal//напишите пожалуйста алгоритм..срочно!

Нет такого языка - Turbo Pasckal, это во-первых. Во-вторых -

var A,B,C:boolean;
begin
writeln('A':9,'B':9,'A and B':9,'B and A':9);
for A:=false to true do for B:=false to true do writeln(A:9,B:9,A and B:9,B and A:9); readln
end.

Это для первого варианта. Для остальных - по образу и подобию.

Создаём переменную res=true;
Сначала A=false, B=false, если A and B <> B and A то присваиваем res значение false.
Потом A=true B=false, если A and B <> B and A то присваиваем res значение false.
Потом A=true B=true, если A and B <> B and A то присваиваем res значение false.
Потом A=fale B=true, если A and B <> B and A то присваиваем res значение false.

Если после всего этого res равен true то утверждение доказано. Так же и для остальных вариантов.

"Turbo Pasckal" - блин жесть.. . в творении Никлауса Вирта 6 букв а не 7!!
булев тип данных может иметь 2 значения 1 и 0,
1-истинна
0-ложь
А and B - логическое сложение (Конъю́нкция)
А B А and B
0 0 0
0 1 0
1 0 0
1 1 1

А or B - логическое умножение (Дизъю́нкця)
А B A or B
0 0 0
0 1 1
1 0 1
1 1 1

блин, задания для 8го класса!
(код писать не буду (синтаксиса "Turbo Pasckal" незнаю) и наврятле ктот о знает=))