Searched refs:DeMorgan (Results 1 – 2 of 2) sorted by relevance
2698 if (Instruction *DeMorgan = matchDeMorgansLaws(I, *this)) in visitAnd() local2699 return DeMorgan; in visitAnd()3956 if (Instruction *DeMorgan = matchDeMorgansLaws(I, *this)) in visitOr() local3957 return DeMorgan; in visitOr()
11054 @Article{DeMorgan:1973:RAA,