In terms of refutation
The calculus is sound (because it can be simulated by natural deduction) and refutationally complete (because it can simulate resolution), and these facts are proven in detail here..
Định dạng và làm đẹp Java, Python, JavaScript, JSON, HTML cùng các ngôn ngữ khác; điều chỉnh thụt lề, khoảng cách và ngắt dòng.
Cắt, nối hoặc chia bản ghi âm, loại bỏ khoảng lặng hoặc nhiễu và điều chỉnh âm lượng, tốc độ, cao độ hoặc kênh.
Mở và chỉnh sửa bảng CSV hoặc Excel, định dạng văn bản dạng bảng và chuyển CSV sang Excel hoặc SQL.
Viết và xem trước Markdown, hiển thị sơ đồ Mermaid và chuyển đổi Markdown, HTML cùng bảng giữa các định dạng.
So sánh các đoạn văn, đếm từ và từ khóa, sắp xếp hoặc thay thế các dòng, xem văn bản DOCX.
Tra nghĩa, từ đồng nghĩa và trái nghĩa trong tiếng Trung, hoặc tìm phiên âm IPA của nhiều ngôn ngữ.
Chuyển đổi giữa MP3, WAV, FLAC và các định dạng khác, phát âm thanh hoặc PCM thô, kiểm tra hoặc chỉnh sửa siêu dữ liệu âm thanh.
Kiểm tra, so sánh và xác thực JSON; thử biểu thức JSONPath hoặc chuyển đổi dữ liệu sang CSV, YAML và XML.
Chuyển âm thanh thành văn bản, tạo giọng nói từ văn bản hoặc ghi âm giọng nói trong trình duyệt.
Chuyển đổi và nén video, cắt hoặc nối các đoạn, thay đổi kích thước khung hình và trích xuất âm thanh.
Phát video trên thiết bị hoặc video trực tuyến, ghi màn hình hoặc camera và dùng camera làm gương trực tuyến.
Nén hoặc gộp PDF, tách và sắp xếp lại các trang, chuyển trang thành ảnh, xem hoặc so sánh tài liệu.
Chuyển đổi định dạng ảnh, thay đổi kích thước hoặc cắt ảnh, nén tệp, so sánh ảnh và trích xuất văn bản bằng OCR.
Chụp và làm đẹp ảnh chụp màn hình, chuyển văn bản thành ảnh hoặc GIF, vẽ trên bảng trắng và tạo đám mây từ hoặc favicon.
Chỉnh sửa phụ đề SRT hoặc VTT với bản xem trước video, dịch chuyển thời gian, chuyển đổi định dạng và quản lý các luồng phụ đề.
Mở tệp ZIP, 7Z, RAR hoặc TAR, giải nén nội dung đã chọn và tạo tệp nén mới với tùy chọn đặt mật khẩu cho ZIP/7Z.
Mã hóa và giải mã Base64 hoặc Base32, thêm ký tự thoát cho URL, HTML và văn bản Unicode, kiểm tra nội dung JWT.
Chuyển đổi cơ số và giá trị giữa nhị phân, thập phân và thập lục phân; chuyển số thành chữ tiếng Anh hoặc văn bản thành nhị phân.
Tính phần trăm và phân số, tổng hợp thống kê, tính điểm, mức giảm giá hoặc tỷ lệ khung hình.
Hiển thị đồng hồ trực tuyến, chạy bộ đếm ngược hoặc đồng hồ bấm giờ, tính ngày, tuổi hoặc chênh lệch múi giờ.
Kiểm tra IP và kết nối IPv6, kiểm tra yêu cầu HTTP hoặc tệp HAR và tính dải địa chỉ CIDR.
Chuyển đổi đơn vị chiều dài, khối lượng, nhiệt độ, dung lượng lưu trữ dữ liệu và các đơn vị khác.
Chuyển đổi giá trị HEX, RGB và HSL, trích xuất màu từ ảnh, kiểm tra độ tương phản hoặc thử màn hình bằng các màu đồng nhất.
Tạo và quét mã QR hoặc mã vạch, bao gồm mã QR cho liên kết và mạng Wi-Fi.
Tạo giá trị băm, UUID và mật khẩu, thử biểu thức chính quy, tạo slug URL và kiểm tra quyền truy cập tệp.
Kiểm tra độ phân giải và tần số làm mới màn hình, đo bằng thước trên màn hình, thử phím hoặc đọc từ máy nhắc chữ.
2048, Dò mìn, Sudoku, Cờ caro, Đại chiến xe tăng