... dụng n-1 lần (n ≥ 1) quy tắc 1, rồi quy tắc 2, kế đến sử dụng liên tiếp các quy tắc 3, 4, 5 (để đổi chỗ A và C), sau đó sử dụng n-1 lần quy tắc 6 và n lần quy tắc 7, ta có: S an-1S(AC)n-1 ... delimiter complementarity) sau là co-NP-đầy đủ. 2.13. Định lý (G. Gottlob − L. Libkin, 1990): Bài toán sau là co-NP-đầy đủ: Cho một tập hữu hạn T, hai họ P={P1, …, Pn} và Q={Q1, …, Qm} ... wffpc này là ở dạng chuẩn 3-hội (tương ứng 2-hội). Như vậy, (2) là ở dạng chuẩn 3-hội và (1) ở dạng chuẩn 2-hội (đồng thời cũng ở dạng chuẩn 3-hội). Ta ký hiệu ngôn ngữ trên Σ gồm mọi wffpc...