functionally complete boolean logic