Clause simplification

  • Thread starter EvLer
  • Start date
  • #1
EvLer
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:
 

Answers and Replies

  • #2
honestrosewater
Gold Member
2,136
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
EvLer
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,566
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
EvLer
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!
 

Suggested for: Clause simplification

  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
1
Views
1K
Replies
3
Views
882
  • Last Post
Replies
11
Views
955
Replies
4
Views
1K
  • Last Post
Replies
1
Views
2K
Replies
2
Views
1K
Replies
19
Views
1K
Replies
3
Views
693
Replies
3
Views
948
Top