Role of the Normal Logical Form in Decision Making and Knowledge Management

Abstract

This article considers the normal form in logic. Any propositional function, i.e. any finite logical expression, can be written in such a form. This indicates the possibility of an unequivocal logical representation of many different objects investigated in science and everyday life. The properties of the normal form give a new dimension to the management of processes examined in science. An understanding of the laws of logic and its calculus allows us to obtain this form in a finite number of logical transformations. In addition, this form indicates the cognitive essence and pragmatic dimension of logic. The article considers axiomatization, and then optimization. Both of these formulations of logic reflect its essence.. Shannon's theorem gives us only a modest signpost that reality has a complex nature, which is confirmed by the richness of logic in the form of its equivalent propositional functions. Knowledge about the behavior of these structures is ambiguous in terms of the complexity of the corresponding logical expressions, that is, two different or identical logical functions may be related to identical (similar) or quite different behaviors, in relation to the processes or objects represented by these functions.