論理式の表記について
変数:a,b,c,...の順に使用する。
論理和「a+b」
論理積「a&b」または「a b」
否定「~a」