MVC-CD - Logiciel de modélisation libre d'utilisation et gratuit
La fonction logique de non conjonction, nand, est vraie si les deux opérandes ne sont pas vraies simultanément.