8.3 命题公式的范式10111