Musí mít Matematický software Pro Pierre Sarrazin

BoolStuff je knihovna C, který může podporovat několik operací na logický výraz binární stromy.Příkaz jmenoval booldnf, který volá tuto knihovnu pro převod výraz na DNF je také k dispozici Vlastnosti :. jednoduchý boolean výraz parser (podporuje...