Đây là bộ lọc mệnh đề lệnh có thể chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi như Ubuntu Online, Fedora Online, trình mô phỏng trực tuyến Windows hoặc trình mô phỏng trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
mệnh đề bộ lọc - công thức lọc với các mô hình
SYNOPSIS
bộ lọc mệnh đề <diễn giải-tập tin>thử nghiệm> <công thức-tệp>>truyền-công thức-file>
MÔ TẢ
Trang hướng dẫn sử dụng này tài liệu ngắn gọn về bộ lọc mệnh đề chỉ huy.
Đưa ra một tập hợp diễn giải, Một thử nghiệm để biểu diễn và một luồng công thức, bộ lọc mệnh đề
đưa ra các công thức vượt qua bài kiểm tra.
NGHIỆM
Các bài kiểm tra sau đây có sẵn.
true_in_all
Công thức đúng trong mọi cách hiểu.
true_in_some
Công thức đúng theo một số cách giải thích.
sai_in_all
Công thức sai trong mọi cách hiểu.
sai_in_some
Công thức sai trong một số cách giải thích.
Sử dụng bộ lọc mệnh đề trực tuyến bằng dịch vụ onworks.net
