\v=11
\v~=Yoyada alikuwa baba wa Yonathani, na Yonathani alikuwa baba wa Yadua. 
\¬v
\¬p