We systematically introduce AND, OR, and ADDER gates and analyze the faithfulness and completeness via these gates, and we also propose a framework to fully discovery these gates and obtain some findings.