Αριθμομηχανές - Διακριτά Μαθηματικά

Υπολογιστής Πίνακα Αληθείας

Ο υπολογιστής θα δημιουργήσει τον πίνακα αληθείας για τον δοσμένο λογικό τύπο/έκφραση. Υποστηρίζει όλους τους βασικούς λογικούς τελεστές: άρνηση (συμπλήρωμα), και (σύζευξη), ή (διάζευξη), nand (ράβδος του Sheffer), nor (βέλος του Peirce), xor (αποκλειστική διάζευξη), συνεπαγωγή, αντίστροφο της συνεπαγωγής, μη συνεπαγωγή (abjunction), αντίστροφο της μη συνεπαγωγής, xnor (αποκλειστικό nor, ισοδυναμία, διπλή συνεπαγωγή), ταυτολογία (T) και αντίφαση (F).

Υπολογιστής Άλγεβρας του Boole

Ο υπολογιστής θα προσπαθήσει να απλοποιήσει/ελαχιστοποιήσει τη δοθείσα Boolean λογική έκφραση, με βήματα όπου είναι δυνατόν. Εφαρμόζει τον αντιμεταθετικό νόμο, τον επιμεριστικό νόμο, τον νόμο κυριαρχίας (μηδενικού, ακύρωσης), τον νόμο ταυτότητας, τον νόμο άρνησης, τον νόμο διπλής άρνησης (αυτοαντιστροφής), τον νόμο ιδιοδυναμίας, τον νόμο συμπληρώματος, τον νόμο απορρόφησης, τον νόμο πλεονασμού, το θεώρημα του Ντε Μόργκαν. Υποστηρίζει όλους τους βασικούς λογικούς συνδέσμους: άρνηση (συμπλήρωμα), and (σύζευξη), or (διάζευξη), nand (κάθετος του Sheffer), nor (βέλος του Peirce), xor (αποκλειστική διάζευξη), συνεπαγωγή, αντίστροφη συνεπαγωγή, μη-συνεπαγωγή (abjunction), αντίστροφη μη-συνεπαγωγή, xnor (αποκλειστικό nor, ισοδυναμία, διπλή συνεπαγωγή), ταυτολογία (T) και αντίφαση (F).

Θα βρει επίσης τη διαζευκτική κανονική μορφή (DNF), τη συζευκτική κανονική μορφή (CNF) και την κανονική μορφή άρνησης (NNF).

Υπολογιστής Συνδυασμών και Μεταθέσεων

Ο υπολογιστής θα βρει τον αριθμό μεταθέσεων/συνδυασμών, με/χωρίς επαναλήψεις, δεδομένου του συνολικού αριθμού αντικειμένων και του αριθμού αντικειμένων που θα επιλεγούν. Θα δημιουργήσει επίσης τη λίστα των r-συνδυασμών (r-μεταθέσεων) από τη δοσμένη λίστα, με εμφάνιση των βημάτων.