Question 1199148
<pre>

S º (N • H) / S Ú ~N // S É H

Those are not the standard symbols for logic.
The computer program may have changed them.

Copy and paste these

~ for negation
v for " or " or " disjunction ". 
• for " and " or " conjunction ". 
⊃ for " if...then " or conditional.
 
and repost.

Edwin</pre>