Truth Tree Quiz

Everyone solved 1212 question(s) with an average complexity of 30.904290429043.

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