\q1
\v=18
\v~=Kati ya wana wote aliowazaa 
\¬q1
\q2
\p~<<q2=hakuwepo hata mmoja wa kumwongoza, 
\¬q2
\q1
\p~<<q1=kati ya wana wote aliowalea 
\¬q1
\q2
\p~<<q2=hakuwepo hata mmoja wa kumshika mkono. 
\¬q2
\¬v