logic

logic gates

boolean algebra