При решении этого задания надо знать:
A≡B =A*B+¬A*¬B (***)
таблицы истинности:
A B A≡B A+B A*B
0 0 1 0 0
0 1 0 1 0
1 0 0 1 0
1 1 1 1 1
--------------------------------
C учётом формулы (***) представим восьмое (последнее) уравнение в виде:
(x8≡x9)+(x8≡x10)=0; лог. сложение =0, когда оба слагаемых =0;
0' ≡ 1 + 0'≡ 1 = 0 - при х10=1 возможно 1 решение
х8=0 х9 =1
1' ≡ 0 + 1'≡ 0 = 0 - при х10 =0 возможно 1 решение
х8=1 х9=0
подставим полученные решения в седьмое (предпоследнее) уравнение:
(х7≡х8)+(х7≡х9) = 1
0 ' ≡0+ 0' ≡ 1 =1 имеем четыре решения х7 х8
1'≡ 0 + 1'≡ 1 =1 0 0
--------------------------- 0 1
0' ≡ 1 + 0' ≡ 0 =1 1 0
1' ≡ 1 +1 ' ≡ 0 =1 1 1
----------------------------------------------------------------------------------
подставляя из в шестое (сверху) уравнение, действуя аналогичным образом, можно убедиться, что решений (х6 ; х7) станет шесть , их надо подставить в пятое ур=е и тд.
--------------------------------------------------------
№уравнения 8 7 6 5 4 3 2 1
кол. решений 2 4 6 8 10 12 14 16
Ответ 16
// PascalABC.NET 3.1, сборка 1239 от 08.05.2016
begin
var a:=ArrRandom(ReadInteger('n='),1,100); a.Println;
Writeln('Четных элементов: ',a.Where(x->x.IsEven).Count)
end.
<u><em>Тестовое решение</em></u>
n= 15
48 48 85 94 39 45 22 16 75 51 85 97 91 31 92
Четных элементов: 6
Program z1;
Var c,i:integer;
Begin
Read (n,i);
If not(c=2) then
For i to 0 do
begin
c:=c+1;
i:=i-2;
end;
writeln(n);
end.
Нет таких доказательств. Как можно моделировать в программе, которая предназначена совсем для другого?
#include <iostream>
using namespace std;
int main()
{
int a,b,c = 0;
cin >> a;
b=a*a;
c=b*b*b*a;
cout << c << endl;
<span>}</span>