Clause simplification

  • Thread starter EvLer
  • Start date
458
0
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:
 

honestrosewater

Gold Member
2,072
4
EvLer said:
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:
What are A and B? Is this logic, set theory, probability, ??
 
458
0
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:

AKG

Science Advisor
Homework Helper
2,559
3
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')
 
458
0
AKG said:
It seems to me that A <-> B is the simplest form. You could write it as (A and B) or (A' and B')
well, just was curios, that's all....

Thanks!
 

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top