A three-variable boolean algebra program..