Phép NAND trong LaTeX (\barwedge)

Dùng ở đâu

Dấu hội có vạch ngang phía trên, dùng làm phép toán NAND (vạch Sheffer): đúng trừ khi cả hai đầu vào đều đúng.

NAND là một hệ đầy đủ chức năng, nên mọi hàm Boole đều có thể dựng chỉ từ p \barwedge q, và các nhà thiết kế mạch số dùng nó chính vì lý do này. Các nhà logic học cũng viết vạch Sheffer bằng một gạch đứng, p \mid q hoặc p \uparrow q, vì vậy hãy nêu rõ ký hiệu của bạn một lần. \barwedge là một toán tử hai ngôi, có khoảng cách vừa ở mỗi bên. Đừng nhầm với \veebar, có vạch nằm dưới dấu tuyển và thường chỉ phép tuyển loại trừ, hay với \doublebarwedge, có hai vạch. Bảng chân trị của nó là phần bù của bảng chân trị \wedge.

Ví dụ tối giản biên dịch được

Dán đoạn này vào một tệp .tex trống rồi biên dịch bằng pdfLaTeX, XeLaTeX hoặc LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
NAND: $\barwedge$

\[ p \barwedge q \equiv \neg (p \wedge q) \]
\end{document}

Ký hiệu liên quan

• Phép NOR dạng vạch trên dấu tuyển\bar{\vee}
• Tổng trực tiếp\oplus
• Dấu chấm trong vòng tròn\odot
• Phép phủ định\neg
• Mũi tên kép phải\Rightarrow
• Phép tuyển logic\lor

Câu hỏi thường gặp

Làm thế nào để viết Phép NAND trong LaTeX?

Gõ \barwedge trong chế độ toán, ví dụ $p \barwedge q \equiv \neg (p \wedge q)$. Trước hết hãy nạp amssymb bằng \usepackage{amssymb}.

Cần gói nào để dùng \barwedge?

\barwedge cần amssymb: thêm \usepackage{amssymb} vào phần mở đầu, trước khi tài liệu bắt đầu.

Có thể dùng \barwedge trong chế độ văn bản không, hay chỉ trong chế độ toán?

Chỉ trong chế độ toán. Bên ngoài $...$ LaTeX sẽ dừng với lỗi "Missing $ inserted", vì vậy trong văn bản hãy viết $\barwedge$. Nếu chỉ cần hình ký tự trong văn bản, hãy dán ký tự Unicode ⊼ (với XeLaTeX hoặc LuaLaTeX và một phông chữ có ký tự đó).