Program Task; Const N = 3; Var A: Array [1..N, 1..N] of Integer; d, p, n First, nLast, I, J, K: Integer; Begin nFirst := 1; nLast := N; p := (N Div 2 + 1); For K := 1 To p Do Begin If K = p Then Begin d := p + 1; If d > 3 Then d := 1; A[nFirst, nLast] := d; Break; End; For J := nFirst To nLast Do Begin If J <= p Then Begin d := d + 1; End Else Begin d := d - 1; End; A[nFirst, J] := d; A[nLast, J] := d; End; d := 0; For I := nFirst To nLast Do Begin If I <= p Then Begin d := d + 1; End Else Begin d := d - 1; End; A[I, nFirst] := d; A[I, nLast] := d; End; d := 0; nFirst := n First + 1; nLast := nLast - 1; End; For I := 1 To N Do Begin For J := 1 To N Do Write(A[I, J], ' '); WriteLn; End; ReadLn; End.
Рассмотрим выражение X<5. Оно истинно для всех ответов Рассмотрим выражение X<3. Оно истинно для 1, 2 и ложно для 3, 4 Рассмотрим первую импликацию: две истины дают истину, значит для ответов 1,2 вторую импликацию (после или) можно не рассматривать, поскольку первая часть истинна. Для вариантов 3,4 рассмотрим вторую импликацию. Выражения X<2 и X<1 для вариантов 3,4 дают ложь. Импликация, где оба аргумента дают ложь, истинна. Получается, что для ответов 3,4 истинна вторая импликация, а значит значение первой несущественно (для оператора или).
отсюда следует, что выражение "((X < 5)→(X < 3)) или ((X < 2)→(X < 1))" истинно при всех перечисленных значениях х: 1, 2, 3, 4
Const N = 3;
Var A: Array [1..N, 1..N] of Integer;
d, p, n
First, nLast, I, J, K: Integer;
Begin
nFirst := 1;
nLast := N;
p := (N Div 2 + 1);
For K := 1 To p Do Begin
If K = p Then
Begin
d := p + 1;
If d > 3 Then
d := 1;
A[nFirst, nLast] := d;
Break;
End;
For J := nFirst To nLast Do
Begin
If J <= p Then
Begin
d := d + 1;
End
Else
Begin
d := d - 1;
End;
A[nFirst, J] := d;
A[nLast, J] := d;
End;
d := 0;
For I := nFirst To nLast Do
Begin
If I <= p Then
Begin
d := d + 1;
End
Else
Begin
d := d - 1;
End;
A[I, nFirst] := d;
A[I, nLast] := d;
End;
d := 0;
nFirst := n
First + 1;
nLast := nLast - 1;
End;
For I := 1 To N Do
Begin
For J := 1 To N Do
Write(A[I, J], ' ');
WriteLn;
End;
ReadLn;
End.