\v=17
\v~=Akawaweka wote chini ya ulinzi kwa siku tatu. 
\¬v
\¬p