B5 - Cách lập bảng ngữ nghĩa ver 2 thay nghiem

1

1. Lập bảng ngữ nghĩa của công thức Sử dụng quy tắc nhóm 3 QUY TẮC NHÓM 3 Không áp dụng cùng lúc hơn 1 quy tắc Không cùng lúc áp dụng 1 quy tắc cho nhiều phần công thức Bảng đóng khi và chỉ khi cả 2 bảng con cùng đóng

2. Lập bảng ngữ nghĩa của công thức Sử dụng quy tắc nhóm 3 ((a  b)  ( c  d))  (( a & c)  ( b & d)) Ví dụ 1:

3. Lập bảng ngữ nghĩa của công thức ((a  b)  ( c  d))  (( a & c)  ( b & d)) S S S Đ Đ Đ Đ Đ Đ

4. Lập bảng ngữ nghĩa của công thức ((a  b)  ( c  d))  (( a & c)  ( b & d)) Bảng con 1 S S S Đ Đ Đ Đ Đ Đ S Đ Đ Đ Đ S Đ Đ S Đ Đ Đ Đ S S Đ Đ S Đ Đ Đ Đ Đ Đ Đ S Bảng con 1 không đóng Bảng không đóng công thức không là quy luật logic

5. Lập bảng ngữ nghĩa của công thức ((a  b)  ( c  d))  (( a & c)  ( b & d)) S S S Đ Đ Đ Đ Đ Đ

6. Lập bảng ngữ nghĩa của công thức ((a  b)  ( c  d))  (( a & c)  ( b & d)) Bảng con 1 S S S Đ Đ Đ Đ Đ Đ S Đ Đ Đ Đ S Đ Đ S Đ Đ Đ Đ S S Đ Đ S Đ Đ Đ Đ S S S X Bảng con 1 không đóng Bảng không đóng công thức không là quy luật logic Đ Đ

7. Lập bảng ngữ nghĩa của công thức Sử dụng quy tắc nhóm 3 ((a  (b & c ))  (( a  b) & ( a  c )) Ví dụ 6:

8. Lập bảng ngữ nghĩa của công thức (a  (b & c))  ((a  b) & (a  c)) S Đ S CHÚ Ý CHỈ DÙNG 1 TRONG 2

9. Lập bảng ngữ nghĩa của công thức (a  (b & c))  ((a  b) & (a  c)) Bảng con 1 S Đ S Đ S S Bảng con 1 đóng S S S S Đ Đ Đ Cần lập bảng con 2

10. Lập bảng ngữ nghĩa của công thức (a  (b & c))  ((a  b) & (a  c)) Bảng con 1 Bảng con 2 S Đ S Đ S S Bảng con 1 đóng S S S S Đ Đ Đ S S Đ S S S Bảng con 2 đóng Bảng đóng Công thức là quy luật logic S Đ Đ Đ

11. Lập bảng ngữ nghĩa của công thức Sử dụng quy tắc nhóm 3 nhiều lần ((a  b) & ( c  d) & ( e  f) & ( g  h) & ( d & e))  ( e & c) Ví dụ:

12. Lập bảng ngữ nghĩa của công thức ((a  b) & (c  d) & (e  f) & (g  h) & (d & e))  (e & c) S Đ S Đ Đ Đ Đ Đ Đ Đ S Đ Đ Đ X

13. Lập bảng ngữ nghĩa của công thức ((a  b) & (c  d) & (e  f) & (g  h) & (d & e))  (e & c) Đ Đ Đ Đ Đ Đ Bảng con 1 S Đ S Đ Đ Đ Đ Đ Đ Đ S Đ Đ Đ X S Đ S Đ Đ Đ Đ S S X X

14. Lập bảng ngữ nghĩa của công thức ((a  b) & (c  d) & (e  f) & (g  h) & (d & e))  (e & c) Đ S X Đ Đ Đ Đ Đ Đ Đ Đ Đ Đ Đ X Bảng con 1 Ta thấy : Bảng con 1 không đóng Bảng con 1.1 không đóng Bảng không đóng Công thức không là quy luật logic S S Đ S Đ Đ Đ Đ Đ Đ Đ S Đ Đ Đ X X S Đ S Đ Đ Đ Đ S S Đ S Đ Đ Đ Đ S S X Bảng con 1.1 X