是剥皮 发表于 2025-3-25 04:28:34
The XBOOLE-Monitor XBM 2 user interface; hence, the XBOOLE-monitor XBM 2 is convenient for calculations using logic functions so that sometimes the term “Boolean pocket calculator” is used for this tool. The XBOOLE-monitor XBM 2 uses the set operations of the XBOOLE-library to solve logic equations or even systems of suchEfflorescent 发表于 2025-3-25 10:55:58
Logic Functionsf applications of logic functions becomes visible by other names, which are synonymously used, like switching functions, binary functions, Boolean functions, constraints, or truth functions. Certain logic functions determine the logic operation introduced in the previous chapter. Several possibiliti偏见 发表于 2025-3-25 14:41:38
Logic Equationson consists of two logic functions, which are connected by an equal sign. The solution of a logic equation is a set of binary vectors for which the two functions are either both equal to 0 or both equal to 1. Vice versa, the solution-set of a logic equation can be used to determine a characteristicGEM 发表于 2025-3-25 17:46:17
Boolean Differential Calculusen pairs of function values reached by the change of an arbitrary number of variables. Different function values in these pairs are indicated by the vectorial derivative, unchanged values 1 by the vectorial minimum, and at least one value 1 by the vectorial maximum. A special case of the vectorial dHectic 发表于 2025-3-25 20:11:27
Sets, Lattices, and Classes of Logic Functionsd computation is possible when a set of functions satisfies certain properties. We explore sets of functions which satisfy the rules of an equivalence relation as well as sets having the structure of a lattice. Very often used are partially defined logic functions which describe a lattice of such fuexpeditious 发表于 2025-3-26 02:09:47
http://reply.papertrans.cn/59/5879/587871/587871_26.pngchampaign 发表于 2025-3-26 05:16:24
http://reply.papertrans.cn/59/5879/587871/587871_27.png最初 发表于 2025-3-26 12:07:23
http://reply.papertrans.cn/59/5879/587871/587871_28.png追逐 发表于 2025-3-26 15:37:32
http://reply.papertrans.cn/59/5879/587871/587871_29.png厌恶 发表于 2025-3-26 17:57:02
Sequential Circuitsalizations of finite state machines. We introduce models that can be used to describe either the behavior or the structure of several realizations of both asynchronous and synchronous sequential circuits. The behavior of these two types of sequential circuits can be calculated using the same basic a