Implement nand gate using nor gate example. Pericalm. Aspa retraite. Minisat python.