在离散数学中：
T的真值指派为1,F的真值指派为0.
壹律：P∧T＝P;P∨F＝P .其本质上为任意命题合取真,析取假都还其本身.
零律：P∧F＝F;P∨T＝T .其本质上为任意命题合取假为假,析取真为真,其本身已不存在.