Chương trình được thiết kế để có được các bảng sự thật của các hàm logic với số lượng biến từ một đến năm. Hàm logic (Boolean) của các biến n y = f(x1, x2, xt, xn) là một hàm có tất cả các biến và bản thân hàm chỉ có thể lấy hai giá trị: 0 và 1.
Các chức năng cơ bản của logic
Các biến chỉ có thể lấy hai giá trị 0 và 1 được gọi là các biến logic (hoặc chỉ các biến). Lưu ý rằng một biến logic x có thể ngụ ý dưới số 0 một số câu lệnh sai và dưới số 1 một số câu lệnh đúng.
Theo định nghĩa của một hàm logic, một hàm của các biến n là ánh Xạ bn đến B, có thể được xác định trực tiếp bởi một bảng được gọi là bảng chân lý của hàm này.
Các hàm cơ bản của logic là các hàm của hai biến z = f(x,y).
Số lượng các hàm này là 24 = 16. Hãy để chúng tôi đánh số lại chúng và sắp xếp chúng theo thứ tự tự nhiên.
Chúng ta hãy xem xét các chức năng này chi tiết hơn. Hai trong số chúng f0 = 0 và f15 = 1 là hằng số. Các hàm f3, f5, f10 và f12 về cơ bản là các hàm của một biến.
Các hàm quan trọng nhất của hai biến có tên và ký hiệu đặc biệt.
1) f1-kết hợp (và chức năng)
Lưu ý rằng kết hợp thực sự là phép nhân thông thường (của số không và số một). Hàm này được ký hiệu là x & y;
2) f7 là một sự khác biệt (hoặc chức năng). Nó được Ký Hiệu Bởi V.
3) f13 là hàm ý (sau đây). Biểu thị bằng ->.
Đây là một chức năng rất quan trọng, đặc biệt là trong logic. Nó có thể được xem như sau: nếu x = 0 (tức là x là “false”), thì cả “false” và “true” đều có thể được suy ra từ thực tế này (và điều này sẽ đúng), nếu y = 1 (tức là y là “true”), thì sự thật được suy ra từ cả “false” và “true”, và điều này cũng đúng. Chỉ có kết luận “từ sự thật là sai” là không chính xác. Lưu ý rằng bất kỳ định lý nào luôn thực sự chứa hàm logic này;
4) f6 – bổ sung modulo 2. Nó được biểu thị bằng dấu ” + “hoặc dấu” + ” trong một vòng tròn.
5) f9 là tương đương hoặc tương tự. F9 này = 1 nếu và chỉ khi x = y. Nó được ký hiệu là x ~ y.
6) f14 Là dấu gạch Ngang Của Schaeffer. Hàm này đôi khi được gọi là “không và” (vì nó bằng với phủ định của kết hợp). Nó được ký hiệu là x | y.
7) f8 là Mũi tên Của Pierce (đôi khi chức năng này được gọi là đột quỵ Lukasiewicz)
Ba chức năng còn lại, (f2 , f4 và f11) không có chỉ định đặc biệt.
Lưu ý rằng logic thường xem xét các hàm từ các hàm, tức là chồng chất của các hàm trên. Trong trường hợp này, chuỗi hành động được chỉ định (như thường lệ) bằng dấu ngoặc đơn
Hướng dẫn sử dụng
- Tất cả các ký tự được nhập bởi người dùng sẽ được hiển thị trên máy tính
- Ngoài các toán hạng ký tự được trình bày trong giao diện ứng dụng, đầu vào bàn phím cũng có thể
- Nếu người dùng mắc lỗi khi nhập chức năng, các ký tự đã nhập cuối cùng có thể bị xóa bằng cách nhấn Phím Backspace
- Ứng dụng hỗ trợ kiểm tra tự động tính đúng đắn của các giá trị đã nhập. Đó là, trong trường hợp có lỗi, biểu tượng sẽ không xuất hiện trên màn hình mà ngược lại, nó sẽ rung, cho người dùng biết rằng đã xảy ra lỗi
- Sau khi bạn nhập xong biểu thức người dùng, bạn phải nhấn nút xác nhận để hiển thị bảng sự thật
- Nếu có quá nhiều giá trị được tính toán, bảng có thể được cuộn xuống để xem các tùy chọn còn lại
- Ở trên cùng, như một gợi ý, biểu thức được nhập bởi người dùng được hiển thị
- Để quay lại trang chính, hãy nhấp vào bất kỳ đâu trong bảng
