Bản mẫu:Toán tử logic

Tài liệu bản mẫu[tạo]

Biên tập viên sửa đổi có thể thử nghiệm trong các trang chỗ thử và trường hợp kiểm thử của bản mẫu này.
Xin hãy bổ sung các thể loại vào trang con /doc. Các trang con của bản mẫu này.

x t s Các toán tử logic thông dụng
Hằng đúng/Đúng $\top$
NAND logic (cổng NAND) $\uparrow$ Kéo theo đảo $\leftarrow$ Kéo theo (cổng IMPLY) $\rightarrow$ Tuyển (cổng OR) $\lor$
Phủ định (cổng NOT) $\neg$ Tuyển loại (cổng XOR) $\not \leftrightarrow$ Tương đương (cổng XNOR) $\leftrightarrow$ Phát biểu (Buffer điện tử)
NOR logic (cổng NOR) $\downarrow$ Không kéo theo (cổng NIMPLY) $\nrightarrow$ Không kéo theo đảo $\nleftarrow$ Hội (cổng AND) $\land$
Mâu thuẫn/Sai $\bot$
Cổng thông tin Triết học