\v=23
\v~=Wahesabu wanaume wote wenye umri wa miaka thelathini hadi hamsini ambao huja kutumika katika Hema la Kukutania. 
\¬v
\¬p