Dạng chuẩn tắc đại số
*********************

.. toctree:: 
    :maxdepth: 2
    
    introduction
    boolean-affine
    boolean-monotone
    boolean-dnf-cnf
    boolean-weight
    walsh-hadamard-spectre