Usage as LL-Formula
[| _ |] : Usage ? LLFormula
[| Oco |] = m [| Ico.U |] = m ?? [| U |]
[| Oc |] = m ? 1 [| Ic.U |] = (m ?? [| U |]) ? 1
[| Oo |] = m & 1 [| Io.U |] = (m ?? [| U |]) & 1
[| O |] = (m & 1) ? 1 [| I.U |] = ((m ?? [| U |]) & 1) ? 1
[| U|V |] бс [| U |] ? [| V |]