tolvlina lujvo

v1 is a joint denial (nor/Peirce's arrow ↓), stating that neither v2 (du'u) nor v3 (du'u) are true.

Truth-condition: FFFT (=inajenai). Peirce's arrow ↓(=tolvlina bu).