Logic operators connect or transform simple logcial proedicates or formulae. Simple examples are AND (∧), OR(∨) and NOT (¬). More complex operatrs are often constructed from others, for example logical implication, A⇒B, can be defiend as (¬A)∨B. Logic operators are often defined using a truth table, for example, A⇒B is given by:
| A | B | A⇒B |
|---|---|---|
| FALSE | FALSE | TRUE |
| FALSE | TRUE | TRUE |
| TRUE | FALSE | FALSE |
| TRUE | TRUE | TRUE |
Used in Chap. 2: page 14