逻辑函数化为与或非式 如何化为与非与非形式

如何把逻辑函数式化为与非？先把它化为和或，然后反两次，其中一次用逆律反。例如，y=a“B”C ABC B“C”y=y“=（BC（ABC）”（a“B”C）“）”...