Search Results for ""

A trapezohedron that is the dual polyhedron of the pentagonal antiprism U_(77). It is also (confusingly) known as the pentagonal deltohedron.

The dual polyhedron of the small dodecicosidodecahedron U_(33) and Wenninger dual W_(72).

The dual polyhedron of the small cubicuboctahedron U_(13) and Wenninger dual W_(69).

The dual polyhedron of the small icosicosidodecahedron U_(31) and Wenninger dual W_(71).

The dual polyhedron of the small rhombihexahedron U_(18) and Wenninger dual W_(86)

The dual polyhedron of the truncated great dodecahedron U_(37) and Wenninger dual W_(75).

The dual polyhedron of the cubitruncated cuboctahedron U_(16) and Wenninger dual W_(79).

The dual polyhedron of the icositruncated dodecadodecahedron U_(45) and Wenninger dual W_(84).

A formula is called satisfiable if it takes at least one true value in some interpretation.

A formula whose truth table contains only false in any interpretation is called unsatisfiable.