合式公式的性质

双重否定律
摩根定律
逆还律
分配律
结合律
蕴含等价式
易名规则
量词转换律
量词分配律
量词交换律