solution

Cho một biểu thức logic mệnh đề với các biến là chữ cái thường $a..z$ và các toán tử: ~ (phủ định, một ngôi), & (và), | (hoặc), > (kéo theo), = (tương đương), cùng dấu ngoặc ( ). Độ ưu tiên từ cao xuống thấp: ~, &, |, >, =; các toán tử hai ngôi kết hợp trái.

Gọi $k$ là số biến phân biệt xuất hiện (sắp theo thứ tự bảng chữ cái). Duyệt qua $2^k$ bộ gán theo thứ tự: biến đầu (chữ cái nhỏ nhất) là bit cao nhất, giá trị chạy từ $0$ tới $2^k-1$. Với mỗi bộ gán, đánh giá biểu thức và in 1 hoặc 0.

Hãy in một xâu nhị phân độ dài $2^k$ là vector bảng chân trị.