Mathematics for Computing. Lecture 2: Computer Logic and Truth Tables Dr Andrew Purkiss-Trew Cancer Research UK [email protected]. Logic. Propositions Connective Symbols / Logic gates Truth Tables Logic Laws. Propositions. - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Definition: A proposition is a statement that is either true or false. Which ever of these (true or false) is the case is called the truth value of the proposition.
Connectives
Compound propositione.g. ‘If Brian and Angela are not both happy, then either Brian is not happy or Angela is not happy’
Atomic proposition:‘Brian is happy’ ‘Angela is happy’
Connectives:and, or, not, if-then
Connective Symbols
Connective Symbol
and ٨
or ٧
not ~ or ¬
if-then →
if-and-only-if ↔
Conjugation
Logical ‘and’
Symbol ٨Written p ٨ q Alternative forms p & q, p . q, pqLogic gate version
pq pq
Disjunction
Logical ‘or’
Symbol ٧Written p ٧ qAlternative form p + qLogic gate version
pq p + q
Negation
Logical ‘not’
Symbol ~Written ~pAlternative forms ¬p, p’, p Logic gate version