operators (logic)

Terms from Artificial Intelligence: humans at the heart of algorithms

Page numbers are for draft copy at present; they will be replaced with correct numbers when final book is formatted. Chapter numbers are correct and will not change now.

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