... 2-CNF, mệnh đề có biến Tất giới hạn biểu thức logic tạo số toán riêng chúng mà thỏa mãn biểu thức giới hạn Vì vậy, ta xem xét toán sau đây: • Bài toán CSAT: cho biểu thức logic dạng CNF, có thỏa mãn ... mãn E E1 E2 có a b toán tử Thì E có a + b + toán tử Giả thuyết quy nạp, F1 F2 có nhiều 2a 2b - toán tử Như vậy, F có nhiều 2a + 2b - toán tử, không (a + b +1) - 1, hay hai lần số lượng toán tử E ... hợp E có dạng ¬E1 Có ba trường hợp, tùy thuộc vào toán tử E1 Lưu ý E1 phải có toán tử, hay E trường hợp E1 = ¬E2 Luật phủ định kép, E = ¬(¬ E2) tương đương với E2 Vì E2 có toán tử E, giả thuyết...