FAQS
=========


How do the logical symbols are coded ?
========================================

From `Wikipedia <http://en.wikipedia.org/wiki/List_of_logic_symbols>`_, the AND, OR and NOT are coded as follows:


======================= ===========================

======================= ===========================
negation                :math:`\lnot` 
not                     :math:`\sim`
propositional logic     !
======================= ===========================

and

======================= ===========================
======================= ===========================
logical conjunction     :math:`\land`
and                     .
propositional logic     :math:`\&`
======================= ===========================

and

======================= ===========================
======================= ===========================
logical disjunction     :math:`\lor`
or                      :math:`+`
propositional logic     ||
======================= ===========================





In CellNOptR (R version), **AND** gates are coded with **+** signs. This is unfortunate since from the tables above it corresponds to OR.

In CNA, formats uses the correct conventions.