... sỏu sừc. Sau õỏy laỡ mọỹt sọỳ tióỳp cỏỷn : Giáo trình Công nghệ phần mềm Âàûc t 129 Operation f : not → bool ; Body Axioms f (succ (x)) = false ; where ... Vç váûy, nãúu : 1 ≤ i, j ≤ 8 thç : 2 ≤ k ≤ 16 v : -7 ≤ l ≤ 7. Ta cọ cạc mng a , b , c nhỉ sau : var a : array [1 8] of boolean; b : array [2 16] of boolean; c : array [-7 7] of boolean; ... array[1 8] of Boolean; b: array[2 16] of Boolean; c: array[-7 7] of Boolean; i,j: Integer; antoan: Boolean; Begin for i:=1 to 8 do a[i]:=true; for i:=2 to 16 do b[i]:=true; for i:=-7 to 7...