Выпишите, при каких A, B и C сложное логическое выражение является правдой: пример ответа: 100, 101, 110
-A V - (- A & B /\ - (C | - B & C))​

X1 x2 x3 x4 x5 x6 x7 F1  1  0  1  1  1  1  01  0  1  0  1  1  0  10  1  0  1  1  0  1  0Какое выражение соответствует F✔) x1 ^ ¬x2 ^ x3 ^ ¬x4 ^ x5 ^ x6^ ¬x72) 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. Дан фрагмент таблицы истинности выражения Fx1 x2 x3 x4 x5 x6 x7 F?  ?  ?  1  ?  0  ?  0?  ?  ?  0  ?  ?  1  10  ?  ?  1  ?  ?  ?  0где знак ? - пустые клеткикаким выражением может быть F?✔) x1 ^ ¬x2 ^ ¬x3 ^ ¬x4 ^ x5 ^ x6 ^ x72) ¬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.

var

 a, b, g, s: integer;

begin

 readln(a, b);

 if a mod 2 = 0 then

 begin

   if (b - a) mod 2 = 0 then

   begin

     g := (b - a) div 2;

     s := a div 2 - g;

     write(s, ' ', g);

   end

   else

     write('-1 -1');

 end

 else

   write('-1 -1');

end.

Объяснение:

Обозначим количество страусов через s, количество жирафов через g.

Тогда 2s + 2g = a, 2s + 4g = b.

Вычитая из второго уравнения первое, получим 2g = b - a,

откуда g = (b - a) / 2, при этом (b - a) должно быть кратно 2.

Теперь найдем из первого уравнения s = a / 2 - g, при этом a должно быть кратным 2.