danceplusru
?>

1) введём выражение m & k, обозначающее поразрядную конъюнкцию m и k (логическое «и» между соответствующими битами двоичной записи определите наибольшее натуральное число a, такое что выражение (x & a ≠ 0) → ((x & 12 = 0) → (x & 49 ≠ 0)) тождественно истинно (то есть принимает значение 1 при любом натуральном значении переменной x)?

Информатика

Ответы

ooost-2022
Преобразуем (X & A ≠ 0) → ((X & 12 = 0) → (X & 49 ≠ 0)), избавившись от импликации. Для этого используем замену a→b = ¬a ∨ b
Также учтем, что ¬(p=0) = p≠0
Получаем (X & A = 0) ∨((X & 12 ≠ 0) ∨ (X & 49 ≠ 0))
Можно раскрыть скобки (X & A = 0) ∨ (X & 12 ≠ 0) ∨ (X & 49 ≠ 0)
49₁₀ = 110001₂, 12₁₀ = 001100₂, тогда
(X & A = 0) ∨ (X & 001100 ≠ 0) ∨ (X & 110001 ≠ 0)
Чтобы результат поразрядной конъюнкции был ненулевым, нужно чтобы в обоих операндах совпадали единичные биты хотя бы в одном разряде.
В нашем случае есть три члена, связанные по "ИЛИ" и задача - определить, при каком А выражение всегда будет истинным, т.е. даст хотя бы один единичный бит. Понятно, что значение А влияет только на тот случай, когда нули дали и (X & 001100 ≠ 0), и (X & 110001 ≠ 0).
Когда же такое возможно?
X & 001100 = 0, если Х имеет вид ??00??, где ? - произвольное состояние бита.
X & 110001 = 0, если Х имеет вид 00???0.
Объединяя эти два случаю получаем, при Х=0000?0 выражение
(X & 001100 ≠ 0) ∨ (X & 110001 ≠ 0) даст нули во всех битах.
Тогда (X & A = 0) должно дать хотя бы один единичный бит.
Получаем 0000?0 & А = 0, следовательно, А может иметь вид 0?.
Тогда максимальное значение А равно 111101₂ = 61₁₀
bondarenkoss
Попробуем раскрыть
(x & a != 0) -> ((x & 12 == 0) -> (x & 49 !=0))
(x & a == 0) | ((x & 12 ==0) -> (x & 49 != 0))
(x & a == 0) | (x & 12 == 0) | (x & 49 != 0)
12 это 001100
49 это 110001
x & 12 == 0 истинно при 3ем и 4ом бите равным 0 в x
x & 49 != 0 истинно при 1,5 или 6 бите равным 1 в x
остались числа, в который 3ий и 4ый бит равны 1, а 1,5,6 равны 0

мы можем записать в 1,5,6 бит в a единички(a=49), и больше нет никаких битов, которые мы можем безболезненно привести в 1
catsk8
Var
 K:array[1..2,1..13]  of integer;
 i,j,ind,x,y:integer;
 MAX:real;
 function RAST(x1,x2,y1,y2:integer):real;
  begin
   RAST:=sqrt(sqr(x2-x1)+sqr(y2-y1));
  end;
begin
 MAX:=-2*sqr(-10-1);
 randomize;
 writeln('Исходные точки:');
 for j:=1 to 13 do
  begin
    writeln('Точка № ',j,', с координатами(X,Y)');
    for i:=1 to 2 do 
      begin
        K[i,j]:=random(110) - 10;
        write(K[i,j],'  ');
      end;
    writeln;
   end;
 for i:=1 to 13 do
   if RAST(0,K[1,i],0,K[2,i])>MAX
    then
      begin
         MAX:=RAST(0,K[1,i],0,K[2,i]);
         x:=K[1,i];
         y:=K[2,i];
         ind:=i;
      end;
writeln('Номер точки: ',ind,'  Координаты: ',x,' ; ',y);
end.
  
   

7.4. описать массив из тридцати записей—точек на плоско- сти. заполнить его случайно выбранными коор
a60ikurgannikova
Салат оливье. ингредиенты 1 баночка зеленого горошка (400г) 300 г мяса 4 яйца 350 г картофеля 100 г соленых или маринованных огурцов 150 г лука соль майонез алгоритм приготовления: 1.мясо отварить до готовности (варить около 40 минут после закипания) . 2.остудить. 3.лук мелко покрошить. 4.залить его кипятком и оставить на 10 минут, затем воду слить, лук промыть в холодной воде. 5.мясо нарезать кубиками. 6.картофель почистить, нарезать кубиками. 7. яйца мелко покрошить. 8.огурцы мелко нарезать. 9.смешать картофель, мясо, лук, горошек (воду слить) , яйца, огурцы. 10.посолить. 11. заправить майонезом. 12. украсить по вкусу, например зеленым горошком

Ответить на вопрос

Поделитесь своими знаниями, ответьте на вопрос:

1) введём выражение m & k, обозначающее поразрядную конъюнкцию m и k (логическое «и» между соответствующими битами двоичной записи определите наибольшее натуральное число a, такое что выражение (x & a ≠ 0) → ((x & 12 = 0) → (x & 49 ≠ 0)) тождественно истинно (то есть принимает значение 1 при любом натуральном значении переменной x)?
Ваше имя (никнейм)*
Email*
Комментарий*

Популярные вопросы в разделе

mar77873
konstantinslivkov
Sinelnikov1650
nzagrebin363
ba5-m
Imarmy67
Sergeevich-Novikov
cheremetdiana
delena6467
denisov4
martinson
Iprokopova81
Филиппович_Николаевич
dvbbdv4
Оксана