Cho quan hệ R = {(a,b)| a ≡ b(mod 4)} trên tập {-10, -9, …,9, 10}. Hãy xác định [2]_R?

\(p \wedge (p \vee q) \Leftrightarrow p;p \vee (p \wedge q) \Leftrightarrow p\)

\(p \vee 1 \Leftrightarrow 1;p \wedge 0 \Leftrightarrow 0\)

\(p \vee 0 \Leftrightarrow p;p \wedge 1 \Leftrightarrow p\)

\(p \vee p \Leftrightarrow p;p \wedge p \Leftrightarrow p\)

{4, 3, 5, 2}

{a | a là số tự nhiên lớn hơn 1 và nhỏ hơn 6}

{b | b là số thực sao cho 1 < b² < 36}

{2, 2, 3, 4, 4, 4, 5}

Tập chứa tất cả các phần tử thuộc A và đồng thời thuộc B

Tập chứa tất cả các phần tử hoặc thuộc tập hợp A hoặc thuộc tập hợp B

Tập bao gồm những phần tử không thuộc A

Tập chứa các phần tử thuộc tập hợp A nhưng không thuộc tập hợp B 

{0, 1}

{ a, 0, 1}

{ a, 0, 1, 2, 3}

{ 0, 1, 2}

{(a, b), (b, 0) (a,1), (b,1), (c,0), (1, c) }

{ (0, a), (0, b), (1, a), (1,b ), (0, c), (1,c)}

{ (1, a), (0, 1), (0, b), (0, c), (1, b), (1, c) }

{ (0, a), (0, b), (0, c), (a, 1), (b, 1), (c, 1) }

Bước phân tích và bước thay thế ngược lại

Bước tính toán và phân tích

Bước thay thế ngược lại và phân tích

Bước phân tích và bước tính toán

Trong nhóm không tồn tại ba người là bạn của nhau hoặc là kẻ thù của nhau

Trong nhóm có ba người là bạn của nhau hoặc là kẻ thù của nhau

Có ba người là thù của nhau

Có ba người là bạn của nhau

Nhập, xuất, tính xác định, tính hữu hạn, tính hiệu quả, tính đúng đắn

Nhập, xuất, tính xác định, tính hiệu quả, tính tổng quát, tính đúng đắn

Nhập, xuất, tính xác định, tính hữu hạn, tính hiệu quả, tính tổng quát, tính đúng đắn

Xuất, tính xác định, tính hữu hạn, tính hiệu quả, tính tổng quát, tính đúng đắn

Đưa ra một công thức cho lời giải bài toán

Chỉ ra nghiệm tốt nhất theo một nghĩa nào đó của bài toán

Đưa ra danh sách tất cả các cấu hình tổ hợp có thể có

Chỉ ra một nghiệm hoặc chứng minh bài toán không có nghiệm

Nếu có N đồ vật được đặt vào K hộp thì sẽ tồn tại một hộp chứa ít nhất [N/K] hộp 

Giả sử A₁, A₂, . ., A_m là những tập hữu hạn. Khi đó: \(N({A_1} \cup {A_2} \cup ... \cup {A_m}) = {N_1} - {N_2} + ... + {( - 1)^{m - 1}}{N_m},\)

Nếu A₁, A₂, .., A_m là những tập hợp hữu hạn thì: \(N({A_1} \times {A_2} \times ... \times {A_m}) = N({A_1})N({A_2})...N({A_m})\)

Nếu A₁, A₂, .., A_n là những tập hợp rời nhau thì: \(N({A_1} \cup {A_2} \cup ... \cup {A_n}) = N({A_1}) + N({A_2}) + ... + N({A_n})\)