operators (logic)

Terms from Artificial Intelligence: humans at the heart of algorithms

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