dạng chuẩn tắc tuyển đã đƣợc trực giao hoá, vì vậy ta có thể sử dụng nó để cắt giảm các hàm logic. Phƣơng pháp gồm các bƣớc sau đây:
1. Đây là một hàm của dạng chuẩn tắc tuyển.
2. Tìm các phép hội sơ cấp xuất hiện trong dạng chuẩn tắc tuyển. 3. Tìm tất cả các tập hợp đƣợc bao phủ bởi mỗi phép hội sơ cấp
4. Khai triển tất cả các tập hợp, ta sẽ đƣợc hàm ban đầu trong dạng chuẩn tắc tuyển hoàn toàn.
Từ dạng chuẩn tắc tuyển hoàn toàn ta có thể dễ dàng tính đƣợc các hàm xác suất. Tuy nhiên nếu một hàm đƣợc viết ở dạng chuẩn tắc tuyển thì sẽ dài hơn khi viết ở dạng đã đƣợc trực giao, đây chính là một nhƣợc điểm của phƣơng pháp này khi đƣa một hàm logic về dạng chuẩn tắc tuyển hoàn toàn. Nhƣng việc triển khai một hàm logic về dạng chuẩn tắc tuyển hoàn toàn lại đơn giản hơn trong việc lập trình bằng máy tính.
2.3.2 Các quy tắc chuyển đổi hàm logic sang dạng xác suất trong dạng chuẩn tắc tuyển chuẩn tắc tuyển
Bất kỳ một sự kiện phức tạp nào cũng có thể viết đƣợc dƣới dạng hàm logic với các phép toán logic. Xác suất của hàm f(xi) luôn bằng một, đƣợc ký hiệu là P[f(xi)]=1.
Khi hàm logic đã đƣợc chuyển đổi về dạng chuẩn tắc tuyển trực giao thì ta có thể tính xác suất của hàm một cách đơn giản theo quy tắc sau:
1. Các ký hiệu phép cộng và nhân logic đƣợc thay thế bởi dấu các phép cộng và phép nhân đại số.
2. Các ký hiệu xi và 𝑥𝑖 đƣợc thay thế bằng các xác suất Pi và Qi tƣơng ứng
Quá trình chuyển đổi về hàm xác suất đƣợc thực hiện theo quy tắc sau:
1. Sử dụng công thức De Morgan để đƣa về dạng chuẩn tắc hội, không chứa phép cộng logic nào.
2. Các ký hiệu phép cộng và nhân logic đƣợc thay thế bởi dấu các phép cộng và phép nhân đại số.
3. Các ký hiệu xi và 𝑥𝑖 đƣợc thay thế bằng các xác suất Pi và Qi tƣơng ứng. 4. 𝑃 (𝑓=1) đƣợc thay thế bởi 1-𝑃 (𝑓=1).
2.3.3 Kết luận
- Thuật toán cắt giảm thích hợp để tính bằng tay vì khi khai triển hàm thì sẽ làm giảm các kết quả trung gian.
- Việc sử dụng thuật toán cắt giảm để đƣa về dạng chuẩn tắc tuyển có thể nhìn sẽ dài dòng hơn nhƣng nó lại dễ dàng hơn khi lập trình trên máy tính. - Thuật toán trực giao hoá theo công thức Poresky không đơn giản khi giải
CHƢƠNG 3. THIẾT LẬP VÀ XÂY DỰNG CHƢƠNG TRÌNH TÍNH ĐỘ TIN CẬY CỦA HỆ THỐNG MẠNG MÁY TÍNH
Sau khi đã hiểu rõ về cách thức cũng nhƣ phƣơng pháp để tính toán độ tin cậy của hệ thống thì ta sẽ phải cụ thể hoá các phƣơng pháp đó bằng một ngôn ngữ lập trình cụ thể. Trong chƣơng này tôi sẽ phân tích xem cần phải thiết lập những hàm chức năng nào và từ đó xây dựng một chƣơng trình hoàn chỉnh để tính toán độ tin cậy của hệ thống.