Построить таблицы истинности для логических выражений: а) (А∨В)∧(А∧(В ̅∧А ̅ )) б) (А ̅∧В)∨(А∧В∧(А∨В ̅ )) Доказать, используя таблицы истинности, что логические выражения равносильны: а) (А∨В ̅ ) и А ̅∨В ̅ б) ((А∨В ̅)) ̅ и (А∧В) ̅

Var
  mini, min, n, i: integer;

begin
  i := 1; {порядковый номер введенного с клавы числа}
  readln(n); {считываем число в клавиатуры}
  min := n; {присваеваем минимуму первое введенное число. Если будет введено одно число то оно и есть минимум}
  mini := i; {присваеваем порядковый номер минимума}
 
  repeat{повторяем}
    i := i + 1; {порядковый номер введенного с клавы числа}
    readln(n); {считываем число в клавиатуры}
    if (n <> 0) and (min > n) then begin {если введенное число меньше минимума, то заменяем минимум}
      min := n; {присваеваем минимуму число}
      mini := i;{присваеваем порядковый номер минимума}
    end;
  until n = 0;{до тех пор пока n=0}
 
  writeln('index = ', mini);
end.

Что еще не понятно?