;; EVAL-LOGIC
(defun eval-logic (sentence atomicprop)
  (eval (list 'let atomicprop sentence))
)

;; IMPL
(defun impl (a b)
  (or (not a) b) )

;; BIC
(defun bic (a b)
  (or (and a b) (and (not a) (not b))))