<em>// PascalABC.NET 3.2, сборка 1383 от 09.02.2017</em>
<em>// Внимание! Если программа не работает, обновите версию!</em>
begin
var n:=ReadInteger('Количество строк в массиве:');
var m:=ReadInteger('Количество столбцов в массиве:');
Writeln('*** Исходный массив [',n,',',m,'] ***');
var a:=MatrRandom(n,m,0,1);
a.Println(4); Writeln(4*a.ColCount*'-');
Writeln(a.Rows.Any(x->x.All(x->x=0))?'Да':'Нет')
end.
<u>Примеры</u>
Количество строк в массиве: 10
Количество столбцов в массиве: 4
*** Исходный массив [10,4] ***
0 1 1 1
1 0 0 1
1 0 0 1
1 0 1 1
1 1 0 1
1 0 1 1
1 0 1 0
0 0 0 0
1 1 1 1
1 0 0 1
----------------
Да
Количество строк в массиве: 8
Количество столбцов в массиве: 5
*** Исходный массив [8,5] ***
1 1 0 0 1
1 1 0 1 0
1 0 0 0 0
0 0 0 1 1
1 0 1 1 1
1 0 0 1 1
1 1 0 1 1
0 1 1 1 0
--------------------
Нет
2гб- это 2000мб
2000+2048=4048мб
Применим закон замены импликации
A -> B = -A V B
Следовательно преобразуем B будет под двойным отрицанием, двойное отрицание нам дает положительно высказывание.
Следовательно выражение будет иметь следующий вид:
A V B V C
Правильное утверждение под номером 2.