Top Level Operator Description This exercise will test your understanding of operator precedence. You will be asked to identify the top level operator of a randomly generated formula. Remember that some formulas can have more than one top level operator due to OR and AND being commutative. Instructions Clcik on the "NEW" button to generate a formula. The formula is displayed in the text box and again below with a button for each operator. Click on the button of the top level operator. Feedback will be displayed in the text box. An atom is a string consisting of one or more letters. The following symbols represent the logical connectives/operators: ^ (and) v (or) => (implication) <=> (equivalence) ~ (not)

Shortcuts Well formed formulae Full to shorthand syntax Truth table generator Formulas as trees CNF Generator Resolution tool

home