Monday, July 18, 2011
Tautology practice for Summer 2011.
When a logical statement is a tautology, the bitstring created when performing all the necessary operations is all 1s. In the following problems we will have two logical variables p and q, so p = 1100 and q = 1010. The AND operator is ^.
The OR operator is v.
The NOT operator is ~.
The IMPLIES operator should be an arrow pointing right, but since that single symbol is not an option in .html, I will use => instead. Remember that p => q can be changed to ~p v q.
Determine if each of these logical statements is a tautlogy or not.
1) p v (p => q)
2) p ^ (p => q)
3) (p v ~p) => q
4) (p ^ ~p) => q
Answers in the comments.