Logic/Truth table and Logical operators

From Internet Web School

Logic > Truth table and Logical operators

Contents

• Category:Mathematical logic（Wikipedia）
• Truth table
• Boolean algebra (logic)

Overview

• negation（￢） Notes:Representation of "￢α" is "not α".
• conjunction（∧） Notes:Representation of "α∧β" is "α and β".
• disjunction（∨） Notes:Representation of "α∨β" is "α or β".

Remarks:Using "or" in our conversation is different to logical "or". For example,"Do you take curry or spaghetti for lunch?". This conversation is means that "take curry but not take spaghetti" or "take spaghetti but not take curry". Usually , this conversation is not mean "take curry and spaghetti". Logical "or" is mean "take curry or spaghetti or both".

CAI Exercise

• Go to CAI Exercise page