logic

Logic

h2. Exemplu

table(example). |_. logic.in |_. logic.out |_. Explicatie|

table(example). |_. logic.in |_. logic.out |

| $4$
$a&(c|~c)$
$a$
$~(a|b|c|d)$

$~a~b&~c&~d$

$~a&~b&~c&~d$

$z&b$
$a&b$
$a|b$

|diferite
egale
diferite

egale
|Pentru ultimul set de expresii tabelul este:
<table allign=center>
<tr>
<th>a</th>
<th>b</th>
<th>~a</th>
<th>a&#124;~a</th>
<th>(a&#124;~a)&(a&#124;~a)&(a&#124;~a)</th>
<th>a&#124;b</th>
<th>E</th>
</tr>
</table>
a  b  ~a  a&#124;~a  (a&#124;~a)&(a&#124;~a)&(a&#124;~a) a&#124;b  E
0  0   1     1                       1                      0      0
0  1   1     1                       1                      1      1
1  0   0     1                       1                      1      1
1  1   0     1                       1                      1      1
 unde E=(a&#124;~a)&(a&#124;~a)&(a&#124;~a)&(a&#124;b)
|

egale |
 
h3. Explicatie
 
Pentru ultimul set de expresii tabelul este:
|_. a |_. b |_.  ~a |_.  a|~a |_. (a|~a)&(a|~a)&(a|~a) |_. a|b |_. E |
| 0  | 0  | 1 | 1 | 1 | 0  | 0  |
| 0  | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0  | 0  | 1 | 1 | 1 | 1 |
| 1 | 1 | 0  | 1 | 1 | 1 | 1 |
 
 unde $E=(a|~a)&(a|~a)&(a|~a)&(a|b)$

==include(page="template/taskfooter" task_id="logic") ==

1880