Chương trình theo bool-expr-solve.sf.net

Boolean Expression Solver là một tiện ích dòng lệnh tạo ra một bảng sự thật cho một biểu thức Boolean nhất định.