Թեորեմ բուլյան հանրահաշվի ներկայացման համար