This is an open-ended exploration where you will have the chance to create compound logic sentences with truth value that you can control using the checkboxes at the bottom of the window. When the checkbox is checked, the variable is TRUE. When the checkbox is unchecked, the variable is FALSE.[br][br][b]Entering Logic Sentences.[br][/b]There is a special "code" you will need to use for entering logical compound sentences:[br][list][*]== means BICONDITIONAL[/*][*]&& means AND[br][/*][*]| | means OR (probably on the right side of your keyboard, above the RETURN key)[br][/*][*]! means NOT or NEGATION[/*][*]THE CONDITIONAL IS FOUND IN THE SYMBOL PALETTE[/*][/list]Some examples: [br]- [math]\sim p\vee q[/math] would be entered as [code]!p || q[br][/code]- [math]r\wedge\left(p\vee\sim q\right)[/math] would be entered as [code]r && (p || !q)[/code][br]- [math]\sim\left(p\wedge q\right)\vee\left(\sim r\vee s\right)[/math] would be entered as !(p && q) || (!r || s)[br][br]You can also use the SYMBOL PALETTE to select the NEGATION, AND, OR, CONDITIONAL or BICONDITONAL symbols.