{"result":{"text":"tilde left parenthesis p rightwards arrow q right parenthesis identical to p logical and tilde q\ntherefore tilde left parenthesis p rightwards arrow left parenthesis q logical and r right parenthesis right parenthesis identical to p logical and left parenthesis tilde left parenthesis q logical and r right parenthesis right parenthesis\nspace space space space identical to p logical and left parenthesis tilde q logical or tilde r right parenthesis"},"status":"ok"}