Trang chính
Ngẫu nhiên
Lân cận
Đăng nhập
Tùy chọn
Quyên góp
Giới thiệu Wikipedia
Lời phủ nhận
Tìm kiếm
Bản mẫu
:
Toán tử logic
Ngôn ngữ
Theo dõi
Sửa đổi
x
t
s
Các toán tử logic
thông dụng
Hằng đúng
/
Đúng
⊤
{\displaystyle \top }
NAND logic
(
cổng NAND
)
↑
{\displaystyle \uparrow }
Kéo theo đảo
←
{\displaystyle \leftarrow }
Kéo theo
(
cổng IMPLY
)
→
{\displaystyle \rightarrow }
Tuyển
(
cổng OR
)
∨
{\displaystyle \lor }
Phủ định
(
cổng NOT
)
¬
{\displaystyle \neg }
Tuyển loại
(
cổng XOR
)
↮
{\displaystyle \not \leftrightarrow }
Tương đương
(
cổng XNOR
)
↔
{\displaystyle \leftrightarrow }
Phát biểu
(
Buffer điện tử
)
NOR logic
(
cổng NOR
)
↓
{\displaystyle \downarrow }
Không kéo theo
(
cổng NIMPLY
)
↛
{\displaystyle \nrightarrow }
Không kéo theo đảo
↚
{\displaystyle \nleftarrow }
Hội
(
cổng AND
)
∧
{\displaystyle \land }
Mâu thuẫn
/
Sai
⊥
{\displaystyle \bot }
Cổng thông tin Triết học
Tài liệu bản mẫu
[
tạo
] [
làm mới
]
Biên tập viên sửa đổi có thể thử nghiệm trong các trang chỗ thử
(
tạo
|
sao
)
và trường hợp kiểm thử
(
tạo
)
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
.