Gate

Logical operators for combining boolean expressions.

AndExpression

false and true

A	B	A and B
false	false	false
false	true	false
true	false	false
true	true	true

---

ImpliesExpression

false implies true

A	B	A implies B
false	false	true
false	true	true
true	false	false
true	true	true

---

NotExpression

not false

A	NOT A
true	false
false	true

---

OrExpression

false or true

A	B	A or B
false	false	false
false	true	true
true	false	true
true	true	true

---

XorExpression

false xor true

A	B	A xor B
false	false	false
false	true	true
true	false	true
true	true	false