Clause simplification

  • Thread starter EvLer
  • Start date
  • #1
458
0

Main Question or Discussion Point

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:
 

Answers and Replies

  • #2
honestrosewater
Gold Member
2,105
5
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, ??
 
  • #3
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:
  • #4
AKG
Science Advisor
Homework Helper
2,565
4
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')
 
  • #5
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!
 

Related Threads on Clause simplification

  • Last Post
Replies
4
Views
5K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
4
Views
2K
Replies
4
Views
1K
Replies
2
Views
1K
Replies
3
Views
703
Replies
1
Views
1K
  • Last Post
Replies
11
Views
465
Replies
3
Views
492
Replies
15
Views
3K
Top