D.E. Sitnikov, P.E. Sitnikova, A.I. Kovalenko

Annotations languages:

Methods for obtaining general solutions to logic equations with unknown binary relations in information systems with a complicated logical structure have been developed. Necessary conditions for the existence of a solution to such equations have been found. The results obtained can be used for improving the effectiveness of logic deductions in knowledge bases and expert information systems.

Sytnykov, D.Э., Sytnykova, P.Э. and Kovalenko, A.Y. (2011), "Metod reshenyia lohycheskykh uravnenyi s konechnыmy bynarnыmy otnoshenyiamy v ynformatsyonnoi systeme" ,