Logic function

  1. REDIRECT Boolean algebra