Tiếng AnhTiếng PhápTiếng Tây Ban Nha

Ad


Biểu tượng yêu thích OnWorks

booldnf - Trực tuyến trên đám mây

Chạy booldnf trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks trên Ubuntu Online, Fedora Online, trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MAC OS

Đâ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


Máy chủ & Máy trạm miễn phí

Tải xuống ứng dụng Windows & Linux

Lệnh Linux

Ad