Ein Verfahren zur Ermittlung aller nicht redundanten zweistufigen Darstellungen einer logischen Funktion/ A procedure for the determination of all irredundant normal forms of a truth function
1960 ◽
Vol EC-9
(2)
◽
pp. 245-252
◽
1998 ◽
Vol 13
(4)
◽
pp. 1345-1351
◽
2015 ◽
Vol 25
(01)
◽
pp. 1550015
◽
1981 ◽
Vol 45
(6)
◽
pp. 773-777
Keyword(s):
1989 ◽
Vol 424
(1867)
◽
pp. 327-342
◽
Keyword(s):
1999 ◽
Vol 190
◽
pp. 549-554
Keyword(s):
1961 ◽
Vol 13
◽
pp. 29-41