Phép NOR dạng vạch trên dấu tuyển trong LaTeX (\bar{\vee})

Dùng ở đâu

Dấu tuyển có vạch ngang phía trên, được ghép thủ công để biểu diễn NOR (mũi tên Peirce): chỉ đúng khi cả hai đầu vào đều sai.

Các phông toán thông dụng không có lệnh đơn chuẩn cho ký hiệu NOR, nên \bar{\vee} tạo ra nó bằng cách đặt một dấu thanh lên ký hiệu tuyển. Hệ quả phụ: ký hiệu có dấu thanh trở thành một nguyên tố thường và mất khoảng cách toán tử hai ngôi vốn có của \vee, vì vậy hãy viết \mathbin{\bar{\vee}} để khôi phục, tốt nhất là đặt trong một \newcommand. Ký hiệu thay thế p \downarrow q (mũi tên Peirce) được hiểu rộng rãi và tránh được vấn đề này. Đừng nhầm với \veebar, có vạch nằm dưới dấu tuyển và thường nghĩa là XOR.

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}
\begin{document}
NOR operator (bar over vee): $\bar{\vee}$

\[ p \mathbin{\bar{\vee}} q \equiv \neg (p \vee q) \]
\end{document}

Ký hiệu liên quan

• Dấu chấm trong vòng tròn\odot
• Phép NAND\barwedge
• Mũi tên kép phải\Rightarrow
• Tổng trực tiếp\oplus
• Mũi tên kép hai chiều\Leftrightarrow
• Phép phủ định\neg

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

Làm thế nào để viết Phép NOR dạng vạch trên dấu tuyển trong LaTeX?

Gõ \bar{\vee} trong chế độ toán, ví dụ $p \mathbin{\bar{\vee}} q \equiv \neg (p \vee q)$. Lệnh dùng được trong LaTeX chuẩn mà không cần nạp gói nào.

Cần gói nào để dùng \bar{\vee}?

Không cần gói nào. \bar{\vee} thuộc LaTeX chuẩn, nên chỉ cần lớp tài liệu trong phần mở đầu là biên dịch được.

Có thể dùng \bar{\vee} 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 $\bar{\vee}$.