\v=30
\v~=Kwa hiyo watu wakapumzika siku ya saba. 
\¬v
\¬p