the implications graphically as directed edges in a graph. The solution set for the same example instance is depicted in Image:2SAT median graph.svg. English...
Implications between statements in predicate logic like ∀ x ∀ y ∀ z R x y z {\displaystyle \forall x\forall y\forall zRxyz} , represented by matrices like...
Implications between statements in predicate logic like ∀ x ∀ y ∀ z P x y z {\displaystyle \forall x~\forall y~\forall z~Pxyz} , represented by abbreviated...
DescriptionConcertina cube graph; pairs.svg Implications between the A000629(3) = 26 statements with 3 variables in first-order logic The two little...
DescriptionConcertina tesseract graph.svg Implications between the A000629(4) = 150 statements with 4 variables in first-order logic The formulas are...
DescriptionCocoon concertina square graph; matrix sketches.svg Implications between statements with two variables in first-order logic, represented by...
DescriptionConcertina cube graph.svg Implications between the A000629(3) = 26 statements with 3 variables in first-order logic The formulas are represented...
DescriptionConcertina square graph.svg Implications between the A000629(2) = 6 statements with two variables in first-order logic The formulas are represented...
DescriptionConcertina cube graph; pair sketches.svg Implications between the A000629(3) = 26 statements with 3 variables in first-order logic This illustration...
extinction patterns and catastrophes in the fossil record", in Geologic Implications of Impacts of Large Asteroids and Comets on the Earth, I. Silver and...
