2015-10-03 4 views
-2

Я не уверен, если я упрощая эти логические выражения правильно:Упростите эти булевы выражения?

1. (A && B) || B 
2. (A || B) && A 
3. !(A || B) && A 
4. !(A && B) || !B 

упрощенные выражения:

1. A && B 
2. A || B 
3. !B && A 
4. !A || !B 
+2

3 из 4 ошибочны. Вы можете сделать таблицу истинности для каждого проверяемого выражения. – 1201ProgramAlarm

+0

Ну, наилучшие 2 способа проверить: 1) Прочитайте документацию или 2) Верните программу и проверьте, не совпадают ли она или нет ... –

+0

Вы можете использовать [Карты Карно] (https://en.wikipedia.org/ wiki/Karnaugh_map), чтобы упростить их. – pstrjds

ответ

3

довольно легко разобраться с некоторыми таблицами истинности

1. (A && B) || B 

A B | E 
0 0 | 0 
0 1 | 1 
1 0 | 0 
1 1 | 1 

Simplified: B 
################ 
2. (A || B) && A 

A B | E 
0 0 | 0 
0 1 | 0 
1 0 | 1 
1 1 | 1 

Simplified: A 

Algebraically: 
Using our identity that we've derived from part 1: 
(A || B) && A --> (A && A) || (A && B) --> A || (A && B) --> A 
################# 
3. !(A || B) && A 

A B | E 
0 0 | 0 
0 1 | 0 
1 0 | 0 
1 1 | 0 

Simplified: 0 

Algebraically (via demorgans) 
!(A||B)&&A --> (!A && !B) && A --> !A && !B && A 
--> (A && !A) && !B --> 0 && !B --> 0 

################## 
4. !(A && B) || !B 
A B | E 
0 0 | 1 
0 1 | 1 
1 0 | 1 
1 1 | 0 

Simplified: !A || !B 

Большинство это также можно сделать алгебраически, но таблицы истинности действительно облегчат вашу жизнь.

Смежные вопросы