The following theorem of Boolean algebra: where , the algebraically redundant term, is called the "consensus term", or its dual form , in which case is the consensus term. (Note: is an example of the resolution inference rule (replacing the with and the prime with prefix might make this more evident).)
Modern English dictionary
Explore and search massive catalog of over 900,000 word meanings.
Word of the Day
Get a curated memorable word every day.
Challenge yourself
Level up your vocabulary by setting personal goals.