Giả sử P và Q là 2 mệnh đề, P→Q là một mệnh đề…?

\(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\)

Các mệnh đề

Các vị từ

Các biến mệnh đề

Các phép toán logic

Khác nhau

B là con của A

Bằng nhau

A là con của B

Là một mệnh đề chỉ đúng khi một trong p hoặc q là đúng và sai trong các trường hợp khác còn lại

Là một mệnh đề nhận giá T khi và chỉ khi p nhận giá trị F hoặc p và q cùng nhận giá trị T. Nhận giá trị F khi và chỉ khi p nhận giá trị T và q nhận giá trị F

Là một mệnh đề mà nó chỉ nhận giá trị T khi và chỉ khi ít nhất một trong hai mệnh đề p, q nhận giá trị T. Nhận giá trị F khi và chỉ khi cả p, q đều nhận giá trị F

Là một mệnh đề mà nó chỉ nhận giá trị T khi và chỉ khi p, q nhận giá trị T. Nhận giá trị F khi và chỉ khi hoặc p, q, hoặc cả hai nhận giá trị F

2 3 1 4 5 6 7 8 9

2 1 4 3 5 6 7 8 9

2 1 3 4 5 6 7 9 8

3 1 2 4 5 6 7 8 9

Xây dựng toàn bộ các thành phần của cấu hình bằng cách thử tất cả các khả năng

Xây dựng dần các thành phần của cấu hình bằng cách thử tất cả các khả năng

Xây dựng mỗi thành phần của cấu hình bằng cách thử tất cả các khả năng

Xây dựng bất kì thành phần nào của cấu hình bằng cách thử tất cả các khả năng

Là bộ có thứ tự gồm k thành phần lấy ra từ n phần tử đã cho. Các phần tử không được lặp lại

Là bộ có thứ tự gồm k thành phần lấy từ n phần tử của tập đã cho

Là một bộ không kể thứ tự gồm k thành phần khác nhau lấy từ n phần tử đã cho

Là một cách xếp có thứ tự n phần tử đó

20

5

4

0

50

60

55

65

300

224

76

75