逻辑学的基本运算

"∨" 表示"或"

"∧" 表示"与".

"┐"表示"非".

"=" 表示"等价".

1和0表示"真"和"假"

(还有一种表示,"+"表示"或", "·"表示"与"）

 包含、导出；