Truth Tree Quiz

Everyone solved 1200 question(s) with an average complexity of 31.13.

You solved 0 question(s) with an average complexity of 0.

Notes for all the logic symbols:

• Negation: ~
• Conjuction(and): *
• Disjunction(or): v
• Conditional(if): →
• Biconditional(if and only if): ↔

Click on the first logical operation that should be decomposed in a truth tree.

Complexity of Sentence: Generate Sentence