逻辑系统RDP中子代数的广义重言式理论

逻辑系统RDP中子代数的广义重言式理论

于鸿丽1，吴洪博2

Theory of generalized tautology in subalgebras of RDP logical system

YU Hongli1，WU Hongbo2

计算机工程与应用 . 2011, (32): 47 -48 .