A Chomsky Grammar of the Propositional CalculusA generative grammar of the propositional calculus is given. The result is a step towards a technique of automated theorem proving.Feb 18, 2022Feb 18, 2022
A Proof of De Morgan’s Laws in Boolean AlgebraA proof of De Morgan’s laws based on ten axioms of Boolean algebra is given.Feb 18, 2022Feb 18, 2022
On the Realizability of a Number Sequence by a MultigraphIn this note we find conditions for a sequence of natural numbers to be the sequence of vertex degrees of a multigraph.Jan 14, 2022Jan 14, 2022
A Characterization of Complete Multipartite GraphsG=(V,E) is a complete multipartite graph if and only if for all a,b,c∈V: {a,b},{b,c}∉E implies {a,c}∉E.Jan 12, 2022Jan 12, 2022
A Characterization of Regular Graphs With an Even Number of VerticesA graph G with 2k vertices is regular if and only if any two disjoint k-subsets of V(G) induce subgraphs with the same number of edges.Jan 11, 2022Jan 11, 2022