Swapped and and or symbols
Added rules for first order logic