finite boolean algebra

[ریاضیات] جبر بولی با پایان