Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Clause simplification

  1. Jul 17, 2005 #1
    Hi everyone,
    how can I simplify this clause to remove parenthesis:

    (A' or B) and (B' or A) ?

    thanks in advance.

    ps: iff is not allowed :frown:
  2. jcsd
  3. Jul 18, 2005 #2


    User Avatar
    Gold Member

    What are A and B? Is this logic, set theory, probability, ??
  4. Jul 18, 2005 #3
    A and B are "literals" as the book refers to them or n-ary predicates.
    Sorry, should have specified: it's First Order Predicate Calculus. This isn't really an excersize. It's just that I saw that logical equivalence
    A <=> B
    can be rewritten as: (A -> B) and (B -> A);
    further, implications (A -> B) are rewritten as: A' or B;
    so if i rewrite the logical equivalence i get: (A' or B) and (B' or A)
    but i was wondering if it was possible to further simplify this clause :confused:
    [edit] i know how to apply distributive laws in cases like this:
    (A and B) or C
    or similar, but not sure how that might work in clause with 4 predicates [/edit]
    Last edited: Jul 18, 2005
  5. Jul 18, 2005 #4


    User Avatar
    Science Advisor
    Homework Helper

    What do you mean by "simplify"? It seems to me that A <-> B is the simplest form. You could write it as (A and B) or (A' and B')
  6. Jul 18, 2005 #5
    well, just was curios, that's all....

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?