Giới thiệu về ứng dụng này
Với ứng dụng này, bạn có thể:- xác minh xem một chuỗi các ký tự có phải là một công thức đúng (WFF) hay không;
- lấy Ký hiệu Ba Lan Thông thường (NPN) - tức là ký hiệu tiền tố - của các công thức logic mệnh đề;
- lấy ký hiệu Tiếng Ba Lan ngược (RPN), tức là ký hiệu hậu tố - của các công thức logic mệnh đề;
- có được các công thức con của các công thức logic mệnh đề;
- có được công thức dạng chuẩn liên hợp (DNF) và dạng chuẩn liên hợp (CNF) của các công thức logic mệnh đề;
- tạo bảng sự thật cho các công thức logic mệnh đề;
- gán giá trị chân lý cho các ký hiệu mệnh đề và thu được cách giải thích các công thức logic mệnh đề.
Hơn nữa, bạn có thể chọn các thứ tự ưu tiên khác nhau cho các kết nối logic.
