(1)必然的に、または、明らかに本当の
(2)necessarily or demonstrably true; "demonstrable truths"
さらに詳しく
(1)すべての入力が満たされるときのみ動作を開始するコンピュータの回路
(2)a circuit in a computer that fires only when all of its inputs fire