And
===

.. currentmodule:: proveit.logic

.. autoclass:: And
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~And.associate
      ~And.associated
      ~And.association
      ~And.auto_reduction
      ~And.commutation
      ~And.commute
      ~And.commuted
      ~And.conclude
      ~And.conclude_as_redundant
      ~And.conclude_negation
      ~And.conclude_via_composition
      ~And.conclude_via_demorgans
      ~And.conclude_via_example
      ~And.deduce_in_bool
      ~And.deduce_left_in_bool
      ~And.deduce_part_in_bool
      ~And.deduce_parts_in_bool
      ~And.deduce_right_in_bool
      ~And.derive_any
      ~And.derive_in_bool
      ~And.derive_left
      ~And.derive_parts
      ~And.derive_right
      ~And.derive_some
      ~And.disassociate
      ~And.disassociated
      ~And.disassociation
      ~And.evaluation
      ~And.group_commutation
      ~And.group_commute
      ~And.group_commuted
      ~And.in_bool_side_effects
      ~And.negation_side_effects
      ~And.remake_with_style_calls
      ~And.side_effects
      ~And.style_options
      ~And.unary_reduction
      ~And.with_total_ordering_style

   .. rubric:: Methods Documentation

   .. automethod:: associate
   .. automethod:: associated
   .. automethod:: association
   .. automethod:: auto_reduction
   .. automethod:: commutation
   .. automethod:: commute
   .. automethod:: commuted
   .. automethod:: conclude
   .. automethod:: conclude_as_redundant
   .. automethod:: conclude_negation
   .. automethod:: conclude_via_composition
   .. automethod:: conclude_via_demorgans
   .. automethod:: conclude_via_example
   .. automethod:: deduce_in_bool
   .. automethod:: deduce_left_in_bool
   .. automethod:: deduce_part_in_bool
   .. automethod:: deduce_parts_in_bool
   .. automethod:: deduce_right_in_bool
   .. automethod:: derive_any
   .. automethod:: derive_in_bool
   .. automethod:: derive_left
   .. automethod:: derive_parts
   .. automethod:: derive_right
   .. automethod:: derive_some
   .. automethod:: disassociate
   .. automethod:: disassociated
   .. automethod:: disassociation
   .. automethod:: evaluation
   .. automethod:: group_commutation
   .. automethod:: group_commute
   .. automethod:: group_commuted
   .. automethod:: in_bool_side_effects
   .. automethod:: negation_side_effects
   .. automethod:: remake_with_style_calls
   .. automethod:: side_effects
   .. automethod:: style_options
   .. automethod:: unary_reduction
   .. automethod:: with_total_ordering_style