@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <boole#>.

:sum :nand3 ?V.