2014•Journal of Science of Teachers' College and UniversityRequires access

The existence of principal normal form in mathematical logic

Zhang Ya-jian

Abstract

In order to solve the disjunctive normal form and conjunctive normal form in mathematical logic,the first way is to use the truth table directly,and the other way is to equivalent calculation of propositional formula.By using of mathematical induction,gave the existence proof of disjunctive normal form and conjunctive normal form from those two aspects respectively,the number of connectives induction and the number of proposition induction.

About this research paper

What this paper is about

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Conjunctive normal form, Disjunctive normal form, Proposition, Mathematical induction, Canonical normal form, Truth table, Mathematics, Principal (computer security)