((is_strongly_regular)&(is_bipartite))->(is_hamiltonian)
(is_cycle)->(is_hamiltonian)
True
False
False
True
(is_cycle)->(is_hamiltonian)
((~(is_bipartite))^(is_strongly_regular))->(is_hamiltonian)
(((is_bipartite)|(is_regular))->(is_cycle))->(is_hamiltonian)
((~(is_bipartite))^(is_strongly_regular))->(is_hamiltonian)
(((is_bipartite)|(is_cycle))&(is_strongly_regular))->(is_hamiltonian)
(((is_bipartite)|(is_regular))^(~(is_chordal)))->(is_hamiltonian)
((is_strongly_regular)&(is_bipartite))->(is_hamiltonian)
(((is_bipartite)|(is_regular))^(~(is_eulerian)))->(is_hamiltonian)
((is_cycle)|(is_clique))->(is_hamiltonian)
(((is_chordal)|(is_bipartite))^(~(is_strongly_regular)))->(is_hamiltonian)
(((is_strongly_regular)&(is_bipartite))|(is_clique))->(is_hamiltonian)
(((is_bipartite)|(is_cycle))&(is_strongly_regular))->(is_hamiltonian)
(((is_chordal)|(is_bipartite))^(~(is_strongly_regular)))->(is_hamiltonian)
5
(~((is_triangle_free)|(is_chordal)))->(is_hamiltonian)
((is_perfect)&(is_distance_regular))->(is_hamiltonian)
(((is_bipartite)|(is_cycle))&(is_strongly_regular))->(is_hamiltonian)
False
False
True
(((is_triangle_free)|(is_eulerian))->(is_clique))->(is_hamiltonian)
(((is_eulerian)->(is_bipartite))^(is_triangle_free))->(is_hamiltonian)
(((is_triangle_free)|(is_eulerian))->((is_strongly_regular)&(is_bipartite)))->(is_hamiltonian)
[sqrt(x) == -sqrt(x + 15) + 5]