共 50 条
- [1] FINITE PREDICATES INVERTING IN THE CLASS OF DISJUNCTIVE NORMAL FORMS [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1991, (06): : 68 - 74
- [2] ALGORITHMS FOR SIMPLIFFICATION OF DISJUNCTIVE NORMAL FORMS OF FINITE INDEX [J]. DOKLADY AKADEMII NAUK SSSR, 1961, 139 (06): : 1329 - &
- [4] ON THE MINIMIZATION OF k-VALUED LOGIC FUNCTIONS IN THE CLASS OF DISJUNCTIVE NORMAL FORMS [J]. JOURNAL OF MATHEMATICS MECHANICS AND COMPUTER SCIENCE, 2024, 121 (01): : 37 - 45
- [5] SIMPLIFICATION ALGORITHMS FOR DISJUNCTIVE NORMAL FORMS [J]. DOKLADY AKADEMII NAUK SSSR, 1960, 132 (02): : 260 - 263
- [6] THE PROBLEM OF MINIMIZATION OF DISJUNCTIVE NORMAL FORMS [J]. DOKLADY AKADEMII NAUK SSSR, 1984, 274 (02): : 265 - 269
- [7] THE NUMBER OF IRREDUNDANT DISJUNCTIVE NORMAL FORMS [J]. DOKLADY AKADEMII NAUK SSSR, 1982, 262 (06): : 1329 - 1332
- [8] THE NUMBER OF MINIMAL DISJUNCTIVE NORMAL FORMS [J]. DOKLADY AKADEMII NAUK SSSR, 1984, 276 (06): : 1335 - 1339
- [9] Disjunctive normal forms and local exceptions [J]. ACM SIGPLAN NOTICES, 2003, 38 (09) : 203 - 211