Var a,b,c:real;
<span>begin </span>
<span>readln(a); </span>
<span>readln(b); </span>
<span>readln(c); </span>
<span>if (b*b-4*a*c)>=0 then writeln('deistvitelnie korni est!') else writeln('deistvitelnih korney net'); </span>
<span>if (b*b-(4*a*c))>0 then begin writeln('2 kornya'); writeln('x1= ',(-b-sqrt(b*b-4*a*c))/(2*a)); writeln('x2= ',(-b+sqrt(b*b-4*a*c))/(2*a)) end; </span>
<span>if (b*b-(4*a*c))=0 then begin writeln('1 koren'); writeln('x= ',(-b+sqrt(b*b-4*a*c))/(2*a)) end; </span>
<span>end.</span>
Преобразуем (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₁₀
Вид - показать или скрыть ленейка