Cho công thức Boole ở dạng tuyển chuẩn (DNF): hợp của m mệnh đề, mỗi mệnh đề là tích (AND) các literal. Literal dương j nghĩa là x_j, âm -j nghĩa là phủ định x_j. Đếm số bộ gán giá trị (trong 2^n bộ) làm công thức ĐÚNG.
Dòng 1: n m. m dòng tiếp: mỗi dòng bắt đầu bằng k rồi k literal.
1 ≤ n ≤ 18, 1 ≤ m ≤ 50.
Số bộ gán thỏa mãn.
Ví dụ:
Đầu vào:
2 1
2 1 2
Đầu ra:
1
Giải thích:
Đang tải editor...