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