\v=11 \v~=(ingawa baba yake hakufanya mojawapo ya haya): \¬p \q1 \p~<