Biểu thức lôgic đơn giản là biến lôgic hoặc lôgic.

Biểu thức lôgic là các biểu thức logic đơn giản, các biểu thức quan hệ liên kết với nhau bởi phép toán logic. Giá trị biểu thức logic là true hoặc false. Các biểu thức quan hệ thường đặt trong cặp ngoặc ( và ).

Dấu phép toán not được viết trước biểu thức cần phủ định.

Các phép toán and và or dùng để kết hợp nhiều biểu thức lôgic hoặc quan hệ, thành một biểu thức thường được dùng để diễn tả các điều kiện phức tạp.