составить таблицы истинности: а) (a v ¬a v ¬b); б)c v a^b

//так и не осознала как вводить функции с клавиатуры. С у учителя.
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)<>((not b1) or b2) then
 begin;
  writeln('Не эквивалентны');
  exit;
 end;
writeln('Эквивалентны');
end.

Можно воспользоваться вариантом Vladmor, он более легкий и подходит под эту задачу, но чтобы не повторяться, для разнообразности, предложу свой вариант.

1+3+5+7 это ничто иное как арифметическая прогрессия.
Есть несколько формул суммы членов прогрессии, но под этот тип задачи подойдёт такая: 

- это член последовательности с индексом 1, то есть первое число в ряду.
d - это разность между двумя соседними членами, из большего вычитаем меньшее

n - это сколько всего членов

и так, у нас получается
= 1 (в условии задачи сказано что первый подарок весит 1кг)
d = 2 (в условии сказано что следующий подарок увеличивается на 2, ничто иное как разность)
n = это переменная, она нам не известна, поэтому так и оставим.
- это сумма веса всех подарков, в примере используется слово "weight" что в переводе "вес", поэтому подставим это слово.

И теперь подставим что у нас имеется.
weight = 
weight =

В коде программу будет записано так
weight = ( ( 2+2*(n-1) ) / 2)*n

Проверим, например у нас 5 детей, значит надо 5 подарков, это
1+3+5+7+9 = 25
Проверим формулу
weight = ( ( 2+2*(5-1) ) / 2)*5
weight = ( ( 2+2*4 ) / 2)*5
weight = ( ( 2+8 ) / 2)*5
weight = ( 10 / 2)*5
weight = 5*5
weight = 25
Всё сходится.

Расписал подробно, чтобы всё было понятно
Так же этот вариант подойдёт для других таких типовых задач, а вариант Vladmor подойдёт только в некоторых случаях, будь внимателен(на)