A + B = B + A
A OR B = B OR A
A * B = B * A
A AND B = B AND A
A + (B + C) = (A + B) + C
A OR (B OR C) = (A OR B) OR C
A * (B * C) = (A * B) * C
A AND (B AND C) = (A AND B) AND C
A * (B + C) = (A * B) + (A * C)
A AND (B OR C) = (A AND B) OR (A AND C)
A + (B * C) = (A + B) * (A + C)
A OR (B AND C) = (A OR B) AND (A OR C)
A + A = A
A OR A = A
A * A = A
A AND A = A
A + A = {{lab.strLog(true)}}
A OR A = {{lab.strLog(true)}}
A * A = {{lab.strLog(false)}}
A AND A = {{lab.strLog(false)}}
A = A
NOT A = A
A + (A * B) = A
A OR (A AND B) = A
A * (A + B) = A
A AND (A OR B) = A
A + (A * B) = A + B
A OR (A AND B) = A OR B
A + {{lab.strLog(false)}} = A
A OR {{lab.strLog(false)}} = A
A * {{lab.strLog(false)}} = {{lab.strLog(false)}}
A AND {{lab.strLog(false)}} = {{lab.strLog(false)}}
A + {{lab.strLog(true)}} = {{lab.strLog(true)}}
A OR {{lab.strLog(true)}} = {{lab.strLog(true)}}
A * {{lab.strLog(true)}} = A
A AND {{lab.strLog(true)}} = A
A + B = A * B
A * B = A + B