Программы bool-expr-solve.sf.net

Boolean Expression Solver — это командная утилита, которая создает таблицу правды для данного выражения Boolean.