Biến lôgic: đại lượng biểu diễn bằng ký hiệu nào đó, lấy giá trị 0 hoặc 1 • Hàm lôgic: nhóm các biến lôgic liên hệ với nhau qua các phép toán lôgic, lấy giá trị 0 hoặc 1 • Phép toán lôgic cơ bản: VÀ (AND), HOẶC (OR), PHỦ ĐỊNH (NOT), Mỗi biến lôgic chia không gian thành 2 không gian con: 1 không gian con: biến lấy giá trị đúng (=1) Không gian con còn lại: biến lấy giá trị sai