logical formula

boolean algebra