\v=3
\v~=nawe usimpendelee mtu maskini katika mashtaka yake. 
\¬v
\¬p