Докажите тождества, позволяющие представить базовые логические операции через штрих Шеффера.

1. плывут два ребенка

2. один ребенок возвращается

3. плывет взрослый на др. берег

4. возвращается второй ребенок

5. плывут два ребенка на др. берег

6. один ребенок возвращается

7. плывет взрослый на др. берег

8. возвращается второй ребенок

9. плывут два ребенка на др. берег

программа на паскале:

program xxx;

  var i, n, s : integer;

begin

  write ('введите n =' );

  readln (n);

  s: =0;

  for i: =1 to n do

    s: = s+ sqr(i+1);

  writeln ('сумма =' , s);

  readln

end. 

импликация  — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».

импликация записывается как посылкаследствие; применяются также стрелки другой формы и направленные в другую сторону (остриё всегда указывает на следствие).

суждение, выражаемое импликацией, выражается также следующими способами:

посылка является условием, достаточным для выполнения следствия; следствие является условием, необходимым для истинности посылки.                        x={"студент сдаст хорошо сессию"} y={"папа купит ему машину"}. однако, это не совсем удачная иллюстрация, потому что как-то не близка к действительности. напомню, что x-> y == 0 только в том случае, если студент действительно хорошо сдал сессию, а папа машину ему не купил (наоборот, если студент сдал плохо, а папа купил ему машину, то папу лжецом уж точно не назовёшь).

а) наименование товаров, цена за единицу товара, количество каждого товара

б) общая сумма покупки, сумма денег переданная продавцу

в) программа телепередач, название фильма

г) набор значений углов и сторон треугольника, должна быть известна хотя бы одна сторона треугольника и еще две величины(углы или стороны)