[...]... (A∨(B∧C))↔((A∨B)∧(A∨C)) Luật phủ định   A↔A   (A→B)↔ A∧  B   (A↔B)↔(  A∧B)∨(A∧  B) Luật De Morgan:   (A∧B)↔(  A∨  B)   (A∨B)↔(  A∧  B) 51 Trang 1 2: Thêm một số hằng… Luật kéo theo:  (A→B)↔(  A∨B) Luật loại tr :  A∨  A Luật mâu thuẫn:   (A∧  A) Luật phản đảo:  (A→B)↔(  B→  A) Luật xuất:  ((A∧B)→C)↔(A→(B→C)) 52 ...Trang 1 0: xác định thoả mãn được bằng bảng sự thật: Độ phức tạp của thuật toán này là gì? 2n với n là số kí hiệu mệnh đề đơn Bạn có nghĩ có con đường nhanh hơn hẳn cho bài toán này? Bài tới, ta sẽ bàn một số ứng dụng và kĩ thuật tốt nhất được biết đến cho thuật toán SAT 50 Trang 1 1: Một số hằng Có luật hoán vị và kết hợp cho ∧, ∨, ↔ Luật phân phối:  (A∧(B∨C))↔((A∧B)∨(A∧C)) 