Exercise Truth Tables: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
No edit summary
Line 6: Line 6:
{Click on the boxes for which the truth value would be ''true''.
{Click on the boxes for which the truth value would be ''true''.
|type="[]"}
|type="[]"}
| '''p'''<nowiki>  </nowiki> | '''q''' | ('''p ''' &and; '''q''') | &not;('''p ''' &and; '''q''')| '''q''' &sup; ('''p &and; q'''))
| '''p'''<nowiki>  </nowiki> | '''q''' | ('''p ''' &and; '''q''') | &not;('''p ''' &and; '''q''')| <nowiki>  </nowiki>'''q''' &sup; ('''p &and; q'''))
+++-+ (both '''p''' and '''q''' are true)
+++-+ (both '''p''' and '''q''' are true)
+--++ ('''p''' is true, but not '''q''')
+--++ ('''p''' is true, but not '''q''')

Revision as of 15:44, 16 May 2013

1 Complete the truth table

p: true; q: true; p ∧ q:

2 Click on the boxes for which the truth value would be true.

p q (p q) ¬(p q) q ⊃ (p ∧ q))
(both p and q are true)
(p is true, but not q)
(p is false, but q is true)
(both p and q are false)