Program menurut bool-expr-solve.sf.net

Boolean Expression Solver adalah utilitas baris perintah yang menghasilkan tabel kebenaran untuk ekspresi Boolean tertentu.