Đây là lệnh booldnf 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 giả lập trực tuyến Windows hoặc trình giả lập trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
booldnf - chuyển đổi một biểu thức boolean thành DNF
SYNOPSIS
bỏ lỡ 'a & (! b | c &! d)' | booldnf > kết quả.txt
MÔ TẢ
booldnf là một chương trình đọc các biểu thức boolean từ đầu vào chuẩn của nó và viết lại
họ trong Không hợp lý bình thường Mẫu trên đầu ra tiêu chuẩn của nó. Nó sử dụng thư viện BoolStuff.
Biểu mẫu thông thường Disjunctive là một ORing của các thuật ngữ ANDed. Nói cách khác, nếu OR là
được coi là một phép toán cộng và AND là một phép toán nhân, thì DNF là một
tổng sản phẩm.
Mỗi biểu thức phải nằm trên dòng văn bản của riêng nó. Tên biến chỉ được bao gồm
Các chữ cái và chữ số ASCII.
Toán tử AND là &, toán tử OR là |và toán tử NOT là !. Dấu ngoặc đơn là
được cho phép.
Lệnh xóa bộ đệm đầu ra của nó sau mỗi kết quả hoặc thông báo lỗi, để đảm bảo
rằng nó có thể được sử dụng với các đường ống hai chiều. Kết quả và thông báo lỗi luôn có
chính xác một dòng văn bản.
VÍ DỤ
Lệnh
bỏ lỡ 'a & (! b | c &! d)' | booldnf
nên hiển thị
a & c &! d | a &! b
Sử dụng booldnf trực tuyến bằng các dịch vụ onworks.net