Các ký hiệu toán học cho sự tách rời lôgic khác nhau trong các tài liệu. Ngoài từ hoặc, và công thức A pq, ký hiệu. , bắt nguồn từ từ Latin vel (ÃƒÂ ¢ Ã‚â‚¬Ã‚Å “hoặcÃƒÂ ¢ Ã‚â‚¬Ã‚, ÃƒÂ ¢ Ã‚â‚¬Ã‚Å “orÃƒÂ ¢ Ã‚â‚¬Ã‚) thường được sử dụng để nối. Ví dụ: A B được đọc là A hoặc B. Sự tách biệt như vậy là sai nếu cả A và B đều sai. Trong tất cả các trường hợp khác, điều đó là đúng.