consensus formula boolean algebra