{"result":{"text":"capital phi equals left parenthesis x subscript 1 logical or not x subscript 2 logical or not x subscript 3 right parenthesis logical and left parenthesis not x subscript 1 logical or x subscript 2 logical or x subscript 3 right parenthesis logical and left parenthesis x subscript 1 logical or x subscript 2 logical or x subscript 3 right parenthesis"},"status":"ok"}