\v=3
\v~=Wahesabu wanaume wote wenye umri wa miaka thelathini hadi hamsini wanaokuja kutumika katika kazi ya Hema la Kukutania. 
\¬v
\¬p