従って、最大項の論理積の形式になっている論理式は、cnfである。