Abstract :
The main characteristics of some programs implementing a number of different versions of partitioned list algorithms are described, and the results of a systematic plan of experiments performed on these programs are reported. These programs concern the determination of all the prime implicants, a prime implicant covering, or an irredundant normal form of a Boolean function. The experiments performed on these programs concern mainly the computer time required, the number of prime implicants obtained, and their distribution in families. The results obtained from these tests demonstrate that relatively large Boolean functions, involving even some thousands of canonical clauses, can be very easily processed by present-day electronic computers.
Keywords :
Boolean function, computer programs, computing times, covering, experimental results, incompletely specified, irrdundant normal forms, minimization, partitioned list, prime implicants.; Boolean functions; Computational complexity; Computational efficiency; Distributed computing; Electronic equipment testing; Minimization methods; Partitioning algorithms; Pattern classification; Performance evaluation; System testing; Boolean function, computer programs, computing times, covering, experimental results, incompletely specified, irrdundant normal forms, minimization, partitioned list, prime implicants.;
