\v=30
\v~=A man shall not take his father’s wife, and shall not uncover his father’s skirt. 
\¬v
\¬p
\¬c