Có thể đưa một bài toán chứng minh về loại mệnh đề nào?

Thứ tự thực hiện các phép toán trong đại số Boole là.

Hai biểu thức boole gọi là tương đương nhau nếu chúng.

Cho A = {0, 1}, B = {a, b, c}. Tập AxB là.

Cho A = {1, 2, 4}, B = {2, 4, 5, 7}. Tập (A+B) + A là.

Cho tập A = {1,2,a}. Tập lũy thừa của A là.

Cho biết quan hệ nào dưới đây là quan hệ tương đương.

Khi thiết kế thuật toán đệ quy thì ta cần xác định các yêu cầu sau. 

Cho C = {2, 4, 5, 6, 7, 8}, k = 6, n=9. Kết quả nào đúng trong số những kết quả dưới đây sau khi thực hiện thuật toán Test(C, k, n): 

Function Test(C:array[1..10] of integer; k,n:integer); 

Var i,j: integer; 

Begin 

i:=k; While (i>0) and (c[i]=n-k+i) do i:=i-1;

If i> 0 then

Begin c[i]:= c[i] +1;

For j:= i+1 to k do c[j]:=c[i] + j-1;

End;

End;

Xác định giá trị của k sau khi đoạn chương trình sau được thưc hiện xong:

k := 1;

For i₁ :=1 to n₁ do

k:= k+1;

For i₂ :=1 to n₂ do

k:= k+1; 

…

For im :=1 to nm do

k:= k+1 

Phương trình x₁ + x₂ + x₃ = 11 có bao nhiêu nghiệm nguyên không âm?