If you would like to type your solutions, but don't know how to use the logical symbols, here some instructions for easily doing so in Word and html or latex.
You can also use this tool to prepare sequences of logical statements:
https://abstract.cs.washington.edu/~ganzhj/logic/entry/
None of this is required: you can always hand-write your solutions, or put them on paper any other way you like. Yet another possibility is to use English: write NOT(x) for ¬ x, AND, OR, IMPLIES, etc.