1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
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?