\v=30
\v~=A man may not take his father's wife or have sex relations with a woman who is his father's. 
\¬v
\¬p
\¬c