Tính toán và giải thích kết quả của các công thức logic mệnh đề.
advertisement
| Tên | Logic Calculator |
|---|---|
| Phiên bản | 1.1.4 |
| Cập nhật | 26 th 09, 2023 |
| Kích thước | 19 MB |
| Thể loại | Công cụ |
| Lượt cài đặt | 50N+ |
| Nhà phát triển | Aulos Rafael |
| Android OS | Android 6.0+ |
| Google Play ID | com.ccomp.logic.calculator |
Logic Calculator · Ảnh chụp màn hình
Logic Calculator · Mô tả
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.
- 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.
