(¬a∨(¬a∨¬¬¬¬a))

@logicbot 0?

Edit: oops v is the symbol for or.

1?