Chương trình theo logex.sf.net

Mỗi biểu thức lô-gic xây dựng theo các quy tắc ký hiệu infix sẽ được giải thích và một bảng giá trị sẽ được hiển thị.