IMPLICATION AND EQUIVALENCE AS A BASIS FOR VERIFICATION

O. F. Nemolochnov, A. . Zykov, V. I. Polyakov


Read the full article 

Abstract

The article deals with implication and equivalence functions used for verification of logical circuits and software products in the course of their design and implementation.


Keywords: design, verification, implication, equivalence, computation process
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика