Title of article :
Single identities for ternary Boolean algebras
Author/Authors :
R. Padmanabhan، نويسنده , , R. W. McCune، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1995
Abstract :
We present the first known single axioms for ternary Boolean algebra. The first single axiom was found algebraically by a previous technique of Padmanabhan and Quackenbush; then simpler single axioms were found by using the automated reasoning program .
Keywords :
Boolean algebra , Otter , Pixley polynomial , Single axioms , Ternary Boolean algebra , automated deduction
Journal title :
Computers and Mathematics with Applications
Journal title :
Computers and Mathematics with Applications
