Tauts陶茨
tautadj.拉紧的;绷紧的;紧张的;整洁的
tautological law of logical addition逻辑加法重言律
tautological law of logical multiplication逻辑乘法重言律