Ternary Exclusive Or
نویسندگان
چکیده
Ternary exclusive or is the (two valued) truth function that is true just in case exactly one of its three arguments is true. This is an interesting truth function, not definable in terms of the binary exclusive or alone, although the binary case is definable in terms of the ternary case. This article investigates the types of truth functions that can be defined by ternary exclusive or, and relates these findings to the seminal work of Emil Post.
منابع مشابه
Weakly prime ternary subsemimodules of ternary semimodules
In this paper we introduce the concept of weakly prime ternary subsemimodules of a ternary semimodule over a ternary semiring and obtain some characterizations of weakly prime ternary subsemimodules. We prove that if $N$ is a weakly prime subtractive ternary subsemimodule of a ternary $R$-semimodule $M$, then either $N$ is a prime ternary subsemimodule or $(N : M)(N : M)N = 0$. If $N$ is a $Q$-...
متن کاملGate Circuits with Feedback in Finite Algebras of Transients
Simulation of gate circuits is an efficient method of detecting hazards and oscillations that may occur in the presence of gate and wire delays. Ternary simulation, introduced by Eichelberger in 1965, consists of two algorithms, called A and B, and its results are well understood. Ternary simulation has been generalized by Brzozowski and Ésik in 2003 to an infinite algebra C and finite algebras...
متن کاملLie ternary $(sigma,tau,xi)$--derivations on Banach ternary algebras
Let $A$ be a Banach ternary algebra over a scalar field $Bbb R$ or $Bbb C$ and $X$ be a ternary Banach $A$--module. Let $sigma,tau$ and $xi$ be linear mappings on $A$, a linear mapping $D:(A,[~]_A)to (X,[~]_X)$ is called a Lie ternary $(sigma,tau,xi)$--derivation, if $$D([a,b,c])=[[D(a)bc]_X]_{(sigma,tau,xi)}-[[D(c)ba]_X]_{(sigma,tau,xi)}$$ for all $a,b,cin A$, where $[abc]_{(sigma,tau,xi)}=ata...
متن کاملInteraction of mitochondrial elongation factor Tu with aminoacyl-tRNA and elongation factor Ts.
Elongation factor (EF) Tu promotes the binding of aminoacyl-tRNA (aa-tRNA) to the acceptor site of the ribosome. This process requires the formation of a ternary complex (EF-Tu.GTP.aa-tRNA). EF-Tu is released from the ribosome as an EF-Tu.GDP complex. Exchange of GDP for GTP is carried out through the formation of a complex with EF-Ts (EF-Tu.Ts). Mammalian mitochondrial EF-Tu (EF-Tu(mt)) differ...
متن کاملFactors associated with exclusive breastfeeding among primiparous women
Introduction: Exclusive breastfeeding (EBF) is infant’s breast milk consumption without supplementation of any kind of food or drink. Nowadays, EBF has been considered as a key strategy for ensuring the growth and survival of the child. This study aims to investigate the factors affecting exclusive breastfeeding in primiparous women referring to Tehran health centers. Methods: In this analytica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 16 شماره
صفحات -
تاریخ انتشار 2008