Publication:3309609
From MaRDI portal
zbMath0528.94019MaRDI QIDQ3309609
Publication date: 1983
duality; Boolean algebra; graph theory; matroid; switching networks; quantifiers; series-parallel; prime implicants; isotone Boolean functions
05C38: Paths and cycles
05B35: Combinatorial aspects of matroids and geometric lattices
03B05: Classical propositional logic
05C99: Graph theory
94C15: Applications of graph theory to circuits and networks
Related Items
Multiterminal duality and three-terminal series-parallelness, Duality principles for binary matroids and graphs