С3 по логическим функциям. 79 1. дан фрагмент таблицы истиности выражения f x y z f 1 1 0 1 1 0 1 0 0 0 1 1 какое выражение соответствует f 1) x ^ y v z 2) (x v y)-> ¬z 3) (¬x v y) ^ z 4) x-> (¬yvz) 2. дан фрагмент таблицы истинности выражения f x1 x2 x3 x4 x5 x6 x7 f 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 какое выражение соответствует f 1) x1 ^ ¬x2 ^ x3 ^ ¬x4 ^ x5 ^ x6^ ¬x7 2) x1 v ¬x2 v x3 v ¬x4 v ¬x5 v x6 v ¬x7 3) ¬x1 v x2 v ¬x3 v x4 v ¬x5 v ¬x6 v x7 4) ¬x1 ^ x2 ^ ¬x3 ^ x4 ^ x5 ^ ¬x6 ^ x7 3. дан фрагмент таблицы истинности выражения f x1 x2 x3 x4 x5 x6 x7 f ? ? ? 1 ? 0 ? 0 ? ? ? 0 ? ? 1 1 0 ? ? 1 ? ? ? 0 где знак ? - пустые клетки каким выражением может быть f? 1) x1 ^ ¬x2 ^ ¬x3 ^ ¬x4 ^ x5 ^ x6 ^ x7 2) ¬x1 v x2 v x3 v ¬x4 v ¬x5 v ¬x6 v ¬x7 3) x1 ^ x2 ^ ¬x3 ^ x4 ^ x5 ^ ¬x6 ^ x7 4) x1 v ¬x2 v ¬x3 v ¬x4 v ¬x5 v ¬x6 v ¬x7

1.
дан фрагмент таблицы истиности выражения F
X Y Z F
1 1 0 1
1 0 1 0
0 0 1 1
какое выражение соответствует F
1) X ^ Y v Z — не подходит, 1 ^ 1 v 0 = 1 (1 строчка)
✔) (X v Y)-> ¬Z 
3) (¬X v Y) ^ Z — не подходит, (¬1 v 0) ^ 1 = 1 (2 строчка)
4) X->(¬YvZ) — не подходит, 1 -> (¬1 v 0) = 1 (1 строчка)

2. Дан фрагмент таблицы истинности выражения F
x1 x2 x3 x4 x5 x6 x7 F
1  1  0  1  1  1  1  0
1  0  1  0  1  1  0  1
0  1  0  1  1  0  1  0
Какое выражение соответствует F
✔) x1 ^ ¬x2 ^ x3 ^ ¬x4 ^ x5 ^ x6^ ¬x7
2) x1 v ¬x2 v x3 v ¬x4 v ¬x5 v x6 v ¬x7 — не подходит, в первом x1 = 1, 1 v ... = 1.
3) ¬x1 v x2 v ¬x3 v x4 v ¬x5 v ¬x6 v x7 — не подходит, в третьем x7 = 1, ... v 1 = 1.
4) ¬x1 ^ x2 ^ ¬x3 ^ x4 ^ x5 ^ ¬x6 ^ x7 — не подходит, для второго получается 0 ^ ... = 0.

3. Дан фрагмент таблицы истинности выражения F
x1 x2 x3 x4 x5 x6 x7 F
?  ?  ?  1  ?  0  ?  0
?  ?  ?  0  ?  ?  1  1
0  ?  ?  1  ?  ?  ?  0
где знак ? - пустые клетки
каким выражением может быть F?
✔) x1 ^ ¬x2 ^ ¬x3 ^ ¬x4 ^ x5 ^ x6 ^ x7
2) ¬x1 v x2 v x3 v ¬x4 v ¬x5 v ¬x6 v ¬x7 — в последнем x1 = 0, ¬0 v ... = 1.
3) x1 ^ x2 ^ ¬x3 ^ x4 ^ x5 ^ ¬x6 ^ x7 — во втором x4 = 0, ... ^ 0 ^ ... = 0. 
4) x1 v ¬x2 v ¬x3 v ¬x4 v ¬x5 v ¬x6 v ¬x7 — в первом x6 = 0, ... v ¬0 v ... = 1.

// PascalABC.NET 3.0, сборка 1144 от 16.01.2016
begin
  var n:=ReadInteger('n=');
  var a:=ArrRandom(n,-50,50);
  Writeln('Исходный массив'); a.Println;
  var se:=a.Where(x->x mod 3=0);
  if se.Count=0 then
    Writeln('В массиве нет элементов, кратных трем')
  else begin
    var b:=se.Max;
    var i:=0;
    while a[i]<>b do Inc(i);
    if i=n-1 then Writeln('Максимальный элемент - последний')
    else begin
      Writeln('Результирующий массив');
      a[i+1]:=abs(a.Where(x->x<0).Sum); a.Println
      end
    end
end.

Тестовое решение:
n= 15
Исходный массив
-24 -38 15 -33 -40 -18 21 34 20 49 -19 29 29 38 -41
Результирующий массив
-24 -38 15 -33 -40 -18 21 213 20 49 -19 29 29 38 -41

1.  и 2. записываем в столбик в виде суммы:

1.       +  n 3 8  9  8
               2 n 7 5  m
           
              m 8 5 n  3
ясно, что основание искомой с/с > 10.  Проверим и удостоверимся, что в 11c|c  действия выполняются верно.
 11 c|c   M=6   n = 4    
ответ: основание системы   11,  m=6,    n=4

2.   m m 65 n
    +2 n 4 4 m         

       5 5 4 2 4      очевидно, что основание искомой с/с > 6. 
Проверим по действиям в 7 с/с,  при сложении в столбик,
  при m=3 и n=1
и удостоверимся, что всё верно.
ответ:    осн. с\с = 7, m=3, n=1

3. пусть основание с\с будет  X? тогда:
(4*X^2+X+5)*4 =2*X^3+2*X^2+6*X+6
    раскрываем скобки, преобразуем и получаем уравнение:
(2*X - 14)*(X^2+1) = 0  --->    X=7
ответ:7