逻辑函数两次求反则还原，两次作对偶式变换也还原为它本身。