Элементы логики решить 6. определите, какие высказывания являются тождественно истинными: а) не а → а б) в → а или в в) (a → (b → c)) →((a → b) → (а → c)) 7. докажите справедливость следующих тождеств, построив таблицы истинности для левой и правой частей: а) x и (y или z) = (x и y) или (x и z) б) не (a или b) = не a и не в 8. выражение, указав используемые законы логики: p и не q или q и r или не р и не q.

1)     неа     а          неa  ⇒a           0         1             1             1         0             0 данное выражение ложно, когда а-ложно и истинно, когда а истинно. 2)   a   b       b⇒a   или в       0   0               1       0   1               1       1 0               1       1   1               1       всегда истинно ( тождественно истинно)3)   f - данное выражение a   b   c     a⇒(b⇒c)     (a⇒b)  ⇒(a⇒c)     f 0   0     0       1                       1                       1 0   0     1       1                       1                       1 0   1     0     1                       1                       1 0     1   1       1                       1                     1 1     0   0       1                       0                     0данное выражение не тождественно истинно 8)   p*¬q   + q*r +  ¬ p*¬q =  ¬q*(p +¬p) + q*r =  ¬q +q*r 7)   x   y  z       x*(y+z)       xy + xz       0     0   0         0                   0       0     0   1         0                   0       0     1   0       0                   0                         0       1   1       0                   0       1     0   0         0                 0       1     0     0       0                   0       1     0     1       1                   1       1     1     0       1                   1         1     1   1       1                   1                   равенство док-но a   b       ¬(a +b)     ¬a *¬b 0     0         1             1 0     1         0             0 1     0           0             0 1     1           0             0         равенство док-но

//pascal var   a, b, i, s: integer; begin   writeln('введите левую границу диапазона');   readln(a);   writeln('введите правую границу диапазона');   readln(b);   s : = 0;   for i : = a to b do       if i mod 2 = 0 then s : = s + i;   writeln('сумма четных: ', s); end.