\v=24
\v~=один царь Фирцы. Всех царей тридцать один. 
\¬v
\¬p
\¬c