https://singhruby.com/2015/01/15/addition-of-and-elimination-of-or/
Addition of AND, elimination of OR