Here are some logic gates:
:: x y and > true :: x and > false :: y and > false :: and > false :: x y or > true :: x or > true :: y or > true :: or > false :: x y xor > false :: x xor > true :: y xor > true :: xor > false :: true not > false :: false not > true