This website works better with JavaScript.
Explore
Help
Sign In
nyro
/
Mathe-Formelsammlung
forked from
WBH/Mathe-Formelsammlung
Watch
1
Star
0
Fork
You've already forked Mathe-Formelsammlung
0
Code
Issues
Pull Requests
Releases
Wiki
Activity
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
c2c1934bc0
relationen
master
version3
Branches
Tags
${ item.name }
Create tag
${ searchTerm }
Create branch
${ searchTerm }
from 'c2c1934bc0'
${ noResults }
Mathe-Formelsammlung
/
themen
/
Mengenlehre
/
aussagenlogik.md
578 B
Raw
Blame
History
Übersicht
Negation
A
-A
1
0
0
1
Kunjunktion
A
B
A n B
0
0
0
1
0
0
1
1
1
0
1
0
Disjunktion
A
B
A v B
0
0
0
1
0
1
1
1
1
0
1
1
Äquivavelz
A
B
A <=> B
0
0
1
1
0
0
1
1
1
0
1
0
Implikation
A
B
A => B
0
0
1
1
0
0
1
1
1
0
1
1