Name: Farouk Samu Student ID: 00381495 Assignment: Pre Lab Writing Assignment Date: 01-21-2011
Name: Farouk Samu Student ID: 00381495 Assignment: Pre Lab Writing Assignment Date: 01-21-2011
SOLUTION
1. Syntax errors.
2. Logic errors.
3. Linking process.
4. Binary code.
SOLUTION
3.
Name: Farouk Samu 16.5
Student ID: 00381495
Course: Math 273
Homework: 0.2
Date: 01-19-2011
SOLUTION
2. (a)
6. (a)
p q ( p → q) q →( p → q)
T T T T
T F F T
F T T T
F F T T
Since the last column contains only T. ∴ the given statement is a tautology. Or
q →( p → q) is a tautology
6. (b)
p q [ p ˄ q] −p −q [(− p)˅(−q)] [ p ˄ q] ˄ [(− p)˅(−q)]
T T T F F F T
T F F F T T T
F T F T F T T
F F F T T T T
Since the last column contains only T. ∴ the given statement is NOT a contradiction. Or
[ p ˄ q] ˄ [(− p)˅(−q)] is a tautology