Для таблицы истинности логической функции составить: совершенную дизъюнктивную и конъюнктивную формы функции, минимальную дизъюнктивную и конъюнктивную формы функции с использованием метода карно-вейча, минимальную форму функции с использованием операции «и-не», минимальную форму функции с использованием операции «или-не». y0=0, y1=1, y2=1, y3=0, y4=1, y5=1, y6=0, y7=0

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         равенство док-но

// pascalabc.net 3.1, сборка 1201 от 18.03.2016 function euclid(a,b: integer): integer; begin   while a< > b do if a> b then a-=b else b-=a;   result: =a end; begin   var a,b,c,d: integer;   write('числитель и знаменатель первой дроби: ');   read(a,b);   write('числитель и знаменатель второй дроби: ');   read(c,d);   var zn: =b*d;   var ch: =a*d-c*b;   var sgn: =sign(ch); ch: =abs(ch);   var gcd: =euclid(ch,zn);   write('результат вычитания: ');   if sgn=-1 then write('-');   writeln(ch div gcd,'/',zn div gcd) end. тестовое решение: числитель и знаменатель первой дроби: 7 12 числитель и знаменатель второй дроби: 3 4 результат вычитания: -1/6